let
type_unsigned_int = make_c_type (
Tbuiltin
Tuint
)