Requires lina-4.0.6 and patched ciasdis-0.3.0. Recompile ciasdis after patching (make ciasdis), and link cias and cidis to the new ciasdis binary.

This will make cidis stop a CRAWL after it disassembles a CALL statement. This is necessary because the OkadWork.cf kernel uses stack tricks, i.e., it treats the return address of some CALLs as a pointer to data, and doesn't actually return to that address.

See the Makefile for how to use these files. The default is to disassemble the arrayForth kernel, then reassemble, then compare to the original.