val print_program: out_channel -> PPC.program -> unit