pub const RHF_CORD: u32 = 1 << 12; // 0x0000_1000u32