compile('prover').
save_program('compile.out.1').
halt.