val print_assembly : out_channel -> Types.instr list -> unit val phase : Types.intermediate -> Types.intermediate