Constant USER_MARSHAL_FC_HYPER 

pub const USER_MARSHAL_FC_HYPER: u32 = 11u32;