Constant USER_MARSHAL_FC_USHORT 

pub const USER_MARSHAL_FC_USHORT: u32 = 7u32;