The initial coding phase of work on the disassembler is now complete. Now I just have to get the bugs out... (of which there certainly are many; right now it will not even decode a BL instruction properly). The disassembler turned out to weigh in at about 20K, smaller than I expected, but that is probably because of how aggressively I excluded instructions not used by zeptoforth.