1 tprintf(fmt, i386_regs.eip);
2