let pp_kind fmt = function
| Kcint _ -> Format.fprintf fmt "Kcint"
| Kint -> Format.fprintf fmt "Kint"
| Kreal-> Format.fprintf fmt "Kreal"
| Kptr _-> Format.fprintf fmt "Kptr"
| Kset _-> Format.fprintf fmt "Kset"
| Kstruct _-> Format.fprintf fmt "Kstruct"
| Karray _-> Format.fprintf fmt "Karray"
| Kadt (s,_) -> Format.fprintf fmt "Kadt %s" s
| Kbool -> Format.fprintf fmt "Kbool"