public readonly property y as Int: