Constant sel4_panicking::SMALL_PAYLOAD_MAX_SIZE

pub const SMALL_PAYLOAD_MAX_SIZE: usize = 32;