Found print_int and corrected the disassembly