public readonly property x as Int: