symbolic GB disassembly working