kubsan_deserialize_uint
uint64_t kubsan_deserialize_uint(struct type_descriptor *,
uint64_t u = kubsan_deserialize_uint(typ, val);