sig
  type t = Cil_types.kinstr * Cil_types.lval
  val jtype : Package.jtype
  val of_json : Data.json -> t
  val to_json : t -> Data.json
end