type Point = pt: (x: Integer, y: Integer)
