public readonly int x;