Constant USER_MARSHAL_FC_USMALL 

pub const USER_MARSHAL_FC_USMALL: u32 = 4u32;