val print_program:
 string -> Extracted.Compiler.pass -> Extracted.Preamble.__ -> unit