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