let kind_of_typ c= match object_of c with | C_int i -> Kcint i | C_float _ -> Kreal | C_pointer te -> Kptr te | C_comp comp -> Kstruct comp | C_array arr -> Karray arr