Constant USER_MARSHAL_FC_USMALL

pub const USER_MARSHAL_FC_USMALL: u32 = 4u32;