improved usr/hax/dumpcode.c output