-*-Text-*-


[] Stackopt's storage requirement is very high. Investigate.

[] DBG-red has several problems.

