Constant CRED_MARSHALED_TI_SIZE_SIZE 

pub const CRED_MARSHALED_TI_SIZE_SIZE: u32 = 12u32;