extension functions just get compiled as static "u...

# announcements

[kevinmost]

extension functions just get compiled as static "utils" methods, so really, when you write that extension function, you basically just defined the Java equivalent of:

public static void draw(Picture $receiver, int x, int y) { $receiver.draw(...., x, y); }