JSW disassembly: recast the DEFBs in the entry at 34277 in binary format