val var_list : Stdlib.Format.formatter -> Var.t list -> unit
val instr : Stdlib.Format.formatter -> instr -> unit
val block : ( Addr.Map.key -> xinstr -> string ) -> int -> block -> unit
val program : ( Addr.Map.key -> xinstr -> string ) -> program -> unit
val last : Stdlib.Format.formatter -> last -> unit
val cont : Stdlib.Format.formatter -> cont -> unit