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"