tprintf(fmt, (unsigned long) mips_REG_EPC);