Constant HCF_HOTKEYAVAILABLE 

pub const HCF_HOTKEYAVAILABLE: u32 = 64;