let type_unsigned_int = make_c_type (Tbuiltin Tuint)