pub const POINTER_FLAG_DOWN: u32 = 65536; // 65_536u32