public field x: Integer;