cpu.c: extract out print_cpu, printing the entire CPU code to an isl_printer