public readonly int dx;