print_registers
print_registers(&initial_regs);
print_registers(&expected_regs);
print_registers(&result_regs);