public readonly int dy;