pub type BuiltinTrancheIds = c_uint;