pub const USER_MARSHAL_FC_CHAR: u32 = 2u32;