let basetype = function
  | C_int _ -> 1
  | C_float _ -> 2
  | C_pointer _ -> 3
  | C_comp c -> if c.cstruct then 4 else 5
  | C_array _ -> Wp_parameters.fatal "[basetype] of an array"