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