let d_ki fmt = function
  | Kglobal -> Format.fprintf fmt "Global"
  | Kstmt s -> Format.fprintf fmt "%d" s.sid