Symbol: mal_dump_regs