let basetype = function
  | C_int _ -> 1
  | C_float _ -> 2
  | C_pointer _ -> 3
  | C_comp c -> if c.cstruct then 4 else 5
  | C_array _ -> assert false