pub const RHF_NO_UNRES_UNDEF: u32 = 1 << 13; // 8_192u32