Constant seL4_UntypedRetypeMaxObjects 

pub const seL4_UntypedRetypeMaxObjects: u32 = 256;