Constant seL4_RefillSizeBytes 

pub const seL4_RefillSizeBytes: u32 = 16;