Constant KERB_TRANSFER_CRED_WITH_TICKETS 

pub const KERB_TRANSFER_CRED_WITH_TICKETS: u32 = 1u32;