method move_y     (y : int) : unit = self#set_y (self#get_y + y)