let type_ptrdiff_t = type_int