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"