let pp_int fmt i = Format.fprintf fmt "%cint%d"
  (if signed i then 's' else 'u') (i_sizeof i)