class VALUE3 create make feature make (a_v, a_x, a_y: INTEGER) do v := a_v x := a_x y := a_y end v, x, y: INTEGER end