add traces to dump mnemonics
add workaround (FIXME)