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