let pp_kind fmt = function
     | Kcint i -> Ctypes.pp_int fmt i
     | Kint -> Format.pp_print_string fmt "int"
     | Kreal -> Format.pp_print_string fmt "real"
     | Kptr _-> Format.pp_print_string fmt "pointer"
     | Kset _-> Format.pp_print_string fmt "set"
     | Kstruct c -> Format.pp_print_string fmt c.cname
     | Karray a -> Ctypes.pretty fmt (C_array a)
     | Kadt (s,_) -> Format.pp_print_string fmt s
     | Kbool ->  Format.pp_print_string fmt "bool"