Constant USER_MARSHAL_FC_SMALL 

pub const USER_MARSHAL_FC_SMALL: u32 = 3u32;