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"