public readonly uint width;