Fix: x86 print_int