Fixed documentation (new include file for AEAD).

[BearSSL] / T0 / T0Comp.cs

/*
 * Copyright (c) 2016 Thomas Pornin <pornin@bolet.org>
 *
 * Permission is hereby granted, free of charge, to any person obtaining 
 * a copy of this software and associated documentation files (the
 * "Software"), to deal in the Software without restriction, including
 * without limitation the rights to use, copy, modify, merge, publish,
 * distribute, sublicense, and/or sell copies of the Software, and to
 * permit persons to whom the Software is furnished to do so, subject to
 * the following conditions:
 *
 * The above copyright notice and this permission notice shall be 
 * included in all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
 * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
 * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

using System;
using System.Collections.Generic;
using System.IO;
using System.Reflection;
using System.Text;

/*
 * This is the main compiler class.
 */

public class T0Comp {

        /*
         * Command-line entry point.
         */
        public static void Main(string[] args)
        {
                try {
                        List<string> r = new List<string>();
                        string outBase = null;
                        List<string> entryPoints = new List<string>();
                        string coreRun = null;
                        bool flow = true;
                        int dsLim = 32;
                        int rsLim = 32;
                        for (int i = 0; i < args.Length; i ++) {
                                string a = args[i];
                                if (!a.StartsWith("-")) {
                                        r.Add(a);
                                        continue;
                                }
                                if (a == "--") {
                                        for (;;) {
                                                if (++ i >= args.Length) {
                                                        break;
                                                }
                                                r.Add(args[i]);
                                        }
                                        break;
                                }
                                while (a.StartsWith("-")) {
                                        a = a.Substring(1);
                                }
                                int j = a.IndexOf('=');
                                string pname;
                                string pval, pval2;
                                if (j < 0) {
                                        pname = a.ToLowerInvariant();
                                        pval = null;
                                        pval2 = (i + 1) < args.Length
                                                ? args[i + 1] : null;
                                } else {
                                        pname = a.Substring(0, j).Trim()
                                                .ToLowerInvariant();
                                        pval = a.Substring(j + 1);
                                        pval2 = null;
                                }
                                switch (pname) {
                                case "o":
                                case "out":
                                        if (pval == null) {
                                                if (pval2 == null) {
                                                        Usage();
                                                }
                                                i ++;
                                                pval = pval2;
                                        }
                                        if (outBase != null) {
                                                Usage();
                                        }
                                        outBase = pval;
                                        break;
                                case "r":
                                case "run":
                                        if (pval == null) {
                                                if (pval2 == null) {
                                                        Usage();
                                                }
                                                i ++;
                                                pval = pval2;
                                        }
                                        coreRun = pval;
                                        break;
                                case "m":
                                case "main":
                                        if (pval == null) {
                                                if (pval2 == null) {
                                                        Usage();
                                                }
                                                i ++;
                                                pval = pval2;
                                        }
                                        foreach (string ep in pval.Split(',')) {
                                                string epz = ep.Trim();
                                                if (epz.Length > 0) {
                                                        entryPoints.Add(epz);
                                                }
                                        }
                                        break;
                                case "nf":
                                case "noflow":
                                        flow = false;
                                        break;
                                default:
                                        Usage();
                                        break;
                                }
                        }
                        if (r.Count == 0) {
                                Usage();
                        }
                        if (outBase == null) {
                                outBase = "t0out";
                        }
                        if (entryPoints.Count == 0) {
                                entryPoints.Add("main");
                        }
                        if (coreRun == null) {
                                coreRun = outBase;
                        }
                        T0Comp tc = new T0Comp();
                        tc.enableFlowAnalysis = flow;
                        tc.dsLimit = dsLim;
                        tc.rsLimit = rsLim;
                        using (TextReader tr = new StreamReader(
                                Assembly.GetExecutingAssembly()
                                .GetManifestResourceStream("t0-kernel")))
                        {
                                tc.ProcessInput(tr);
                        }
                        foreach (string a in r) {
                                Console.WriteLine("[{0}]", a);
                                using (TextReader tr = File.OpenText(a)) {
                                        tc.ProcessInput(tr);
                                }
                        }
                        tc.Generate(outBase, coreRun, entryPoints.ToArray());
                } catch (Exception e) {
                        Console.WriteLine(e.ToString());
                        Environment.Exit(1);
                }
        }

        static void Usage()
        {
                Console.WriteLine(
"usage: T0Comp.exe [ options... ] file...");
                Console.WriteLine(
"options:");
                Console.WriteLine(
"   -o file    use 'file' as base for output file name (default: 't0out')");
                Console.WriteLine(
"   -r name    use 'name' as base for run function (default: same as output)");
                Console.WriteLine(
"   -m name[,name...]");
                Console.WriteLine(
"              define entry point(s)");
                Console.WriteLine(
"   -nf        disable flow analysis");
                Environment.Exit(1);
        }

        /*
         * If 'delayedChar' is Int32.MinValue then there is no delayed
         * character.
         * If 'delayedChar' equals x >= 0 then there is one delayed
         * character of value x.
         * If 'delayedChar' equals y < 0 then there are two delayed
         * characters, a newline (U+000A) followed by character of
         * value -(y+1).
         */
        TextReader currentInput;
        int delayedChar;

        /*
         * Common StringBuilder used to parse tokens; it is reused for
         * each new token.
         */
        StringBuilder tokenBuilder;

        /*
         * There may be a delayed token in some cases.
         */
        String delayedToken;

        /*
         * Defined words are referenced by name in this map. Names are
         * string-sensitive; for better reproducibility, the map is sorted
         * (ordinal order).
         */
        IDictionary<string, Word> words;

        /*
         * Last defined word is also referenced in 'lastWord'. This is
         * used by 'immediate'.
         */
        Word lastWord;

        /*
         * When compiling, this builder is used. A stack saves other
         * builders in case of nested definition.
         */
        WordBuilder wordBuilder;
        Stack<WordBuilder> savedWordBuilders;

        /*
         * C code defined for words is kept in this map, by word name.
         */
        IDictionary<string, string> allCCode;

        /*
         * 'compiling' is true when compiling tokens to a word, false
         * when interpreting them.
         */
        bool compiling;

        /*
         * 'quitRunLoop' is set to true to trigger exit of the
         * interpretation loop when the end of the current input file
         * is reached.
         */
        bool quitRunLoop;

        /*
         * 'extraCode' is for C code that is to be added as preamble to
         * the C output.
         */
        List<string> extraCode;

        /*
         * 'extraCodeDefer' is for C code that is to be added in the C
         * output _after_ the data and code blocks.
         */
        List<string> extraCodeDefer;

        /*
         * 'dataBlock' is the data block in which constant data bytes
         * are accumulated.
         */
        ConstData dataBlock;

        /*
         * Counter for blocks of constant data.
         */
        long currentBlobID;

        /*
         * Flow analysis enable flag.
         */
        bool enableFlowAnalysis;

        /*
         * Data stack size limit.
         */
        int dsLimit;

        /*
         * Return stack size limit.
         */
        int rsLimit;

        T0Comp()
        {
                tokenBuilder = new StringBuilder();
                words = new SortedDictionary<string, Word>(
                        StringComparer.Ordinal);
                savedWordBuilders = new Stack<WordBuilder>();
                allCCode = new SortedDictionary<string, string>(
                        StringComparer.Ordinal);
                compiling = false;
                extraCode = new List<string>();
                extraCodeDefer = new List<string>();
                enableFlowAnalysis = true;

                /*
                 * Native words are predefined and implemented only with
                 * native code. Some may be part of the generated output,
                 * if C code is set for them.
                 */

                /*
                 * add-cc:
                 * Parses next token as a word name, then a C code snippet.
                 * Sets the C code for that word.
                 */
                AddNative("add-cc:", false, SType.BLANK, cpu => {
                        string tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing name)");
                        }
                        if (allCCode.ContainsKey(tt)) {
                                throw new Exception(
                                        "C code already set for: " + tt);
                        }
                        allCCode[tt] = ParseCCode();
                });

                /*
                 * cc:
                 * Parses next token as a word name, then a C code snippet.
                 * A new word is defined, that throws an exception when
                 * invoked during compilation. The C code is set for that
                 * new word.
                 */
                AddNative("cc:", false, SType.BLANK, cpu => {
                        string tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing name)");
                        }
                        Word w = AddNative(tt, false, cpu2 => {
                                throw new Exception(
                                        "C-only word: " + tt);
                        });
                        if (allCCode.ContainsKey(tt)) {
                                throw new Exception(
                                        "C code already set for: " + tt);
                        }
                        SType stackEffect;
                        allCCode[tt] = ParseCCode(out stackEffect);
                        w.StackEffect = stackEffect;
                });

                /*
                 * preamble
                 * Parses a C code snippet, then adds it to the generated
                 * output preamble.
                 */
                AddNative("preamble", false, SType.BLANK, cpu => {
                        extraCode.Add(ParseCCode());
                });

                /*
                 * postamble
                 * Parses a C code snippet, then adds it to the generated
                 * output after the data and code blocks.
                 */
                AddNative("postamble", false, SType.BLANK, cpu => {
                        extraCodeDefer.Add(ParseCCode());
                });

                /*
                 * make-CX
                 * Expects two integers and a string, and makes a
                 * constant that stands for the string as a C constant
                 * expression. The two integers are the expected range
                 * (min-max, inclusive).
                 */
                AddNative("make-CX", false, new SType(3, 1), cpu => {
                        TValue c = cpu.Pop();
                        if (!(c.ptr is TPointerBlob)) {
                                throw new Exception(string.Format(
                                        "'{0}' is not a string", c));
                        }
                        int max = cpu.Pop();
                        int min = cpu.Pop();
                        TValue tv = new TValue(0, new TPointerExpr(
                                c.ToString(), min, max));
                        cpu.Push(tv);
                });

                /*
                 * CX  (immediate)
                 * Parses two integer constants, then a C code snippet.
                 * It then pushes on the stack, or compiles to the
                 * current word, a value consisting of the given C
                 * expression; the two integers indicate the expected
                 * range (min-max, inclusive) of the C expression when
                 * evaluated.
                 */
                AddNative("CX", true, cpu => {
                        string tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing min value)");
                        }
                        int min = ParseInteger(tt);
                        tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing max value)");
                        }
                        int max = ParseInteger(tt);
                        if (max < min) {
                                throw new Exception("min/max in wrong order");
                        }
                        TValue tv = new TValue(0, new TPointerExpr(
                                ParseCCode().Trim(), min, max));
                        if (compiling) {
                                wordBuilder.Literal(tv);
                        } else {
                                cpu.Push(tv);
                        }
                });

                /*
                 * co
                 * Interrupt the current execution. This implements
                 * coroutines. It cannot be invoked during compilation.
                 */
                AddNative("co", false, SType.BLANK, cpu => {
                        throw new Exception("No coroutine in compile mode");
                });

                /*
                 * :
                 * Parses next token as word name. It begins definition
                 * of that word, setting it as current target for
                 * word building. Any previously opened word is saved
                 * and will become available again as a target when that
                 * new word is finished building.
                 */
                AddNative(":", false, cpu => {
                        string tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing name)");
                        }
                        if (compiling) {
                                savedWordBuilders.Push(wordBuilder);
                        } else {
                                compiling = true;
                        }
                        wordBuilder = new WordBuilder(this, tt);
                        tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (while compiling)");
                        }
                        if (tt == "(") {
                                SType stackEffect = ParseStackEffectNF();
                                if (!stackEffect.IsKnown) {
                                        throw new Exception(
                                                "Invalid stack effect syntax");
                                }
                                wordBuilder.StackEffect = stackEffect;
                        } else {
                                delayedToken = tt;
                        }
                });

                /*
                 * Pops a string as word name, and two integers as stack
                 * effect. It begins definition of that word, setting it
                 * as current target for word building. Any previously
                 * opened word is saved and will become available again as
                 * a target when that new word is finished building.
                 *
                 * Stack effect is the pair 'din dout'. If din is negative,
                 * then the stack effect is "unknown". If din is nonnegative
                 * but dout is negative, then the word is reputed never to
                 * return.
                 */
                AddNative("define-word", false, cpu => {
                        int dout = cpu.Pop();
                        int din = cpu.Pop();
                        TValue s = cpu.Pop();
                        if (!(s.ptr is TPointerBlob)) {
                                throw new Exception(string.Format(
                                        "Not a string: '{0}'", s));
                        }
                        string tt = s.ToString();
                        if (compiling) {
                                savedWordBuilders.Push(wordBuilder);
                        } else {
                                compiling = true;
                        }
                        wordBuilder = new WordBuilder(this, tt);
                        wordBuilder.StackEffect = new SType(din, dout);
                });

                /*
                 * ;  (immediate)
                 * Ends current word. The current word is registered under
                 * its name, and the previously opened word (if any) becomes
                 * again the building target.
                 */
                AddNative(";", true, cpu => {
                        if (!compiling) {
                                throw new Exception("Not compiling");
                        }
                        Word w = wordBuilder.Build();
                        string name = w.Name;
                        if (words.ContainsKey(name)) {
                                throw new Exception(
                                        "Word already defined: " + name);
                        }
                        words[name] = w;
                        lastWord = w;
                        if (savedWordBuilders.Count > 0) {
                                wordBuilder = savedWordBuilders.Pop();
                        } else {
                                wordBuilder = null;
                                compiling = false;
                        }
                });

                /*
                 * immediate
                 * Sets the last defined word as immediate.
                 */
                AddNative("immediate", false, cpu => {
                        if (lastWord == null) {
                                throw new Exception("No word defined yet");
                        }
                        lastWord.Immediate = true;
                });

                /*
                 * literal  (immediate)
                 * Pops the current TOS value, and add in the current word
                 * the action of pushing that value. This cannot be used
                 * when no word is being built.
                 */
                WordNative wliteral = AddNative("literal", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Literal(cpu.Pop());
                });

                /*
                 * compile
                 * Pops the current TOS value, which must be an XT (pointer
                 * to a word); the action of calling that word is compiled
                 * in the current word.
                 */
                WordNative wcompile = AddNative("compile", false, cpu => {
                        CheckCompiling();
                        wordBuilder.Call(cpu.Pop().ToXT());
                });

                /*
                 * postpone  (immediate)
                 * Parses the next token as a word name, and add to the
                 * current word the action of calling that word. This
                 * basically removes immediatety from the next word.
                 */
                AddNative("postpone", true, cpu => {
                        CheckCompiling();
                        string tt = Next();
                        if (tt == null) {
                                throw new Exception(
                                        "EOF reached (missing name)");
                        }
                        TValue v;
                        bool isVal = TryParseLiteral(tt, out v);
                        Word w = LookupNF(tt);
                        if (isVal && w != null) {
                                throw new Exception(String.Format(
                                        "Ambiguous: both defined word and"
                                        + " literal: {0}", tt));
                        }
                        if (isVal) {
                                wordBuilder.Literal(v);
                                wordBuilder.CallExt(wliteral);
                        } else if (w != null) {
                                if (w.Immediate) {
                                        wordBuilder.CallExt(w);
                                } else {
                                        wordBuilder.Literal(new TValue(0,
                                                new TPointerXT(w)));
                                        wordBuilder.CallExt(wcompile);
                                }
                        } else {
                                wordBuilder.Literal(new TValue(0,
                                        new TPointerXT(tt)));
                                wordBuilder.CallExt(wcompile);
                        }
                });

                /*
                 * Interrupt compilation with an error.
                 */
                AddNative("exitvm", false, cpu => {
                        throw new Exception();
                });

                /*
                 * Open a new data block. Its symbolic address is pushed
                 * on the stack.
                 */
                AddNative("new-data-block", false, cpu => {
                        dataBlock = new ConstData(this);
                        cpu.Push(new TValue(0, new TPointerBlob(dataBlock)));
                });

                /*
                 * Define a new data word. The data address and name are
                 * popped from the stack.
                 */
                AddNative("define-data-word", false, cpu => {
                        string name = cpu.Pop().ToString();
                        TValue va = cpu.Pop();
                        TPointerBlob tb = va.ptr as TPointerBlob;
                        if (tb == null) {
                                throw new Exception(
                                        "Address is not a data area");
                        }
                        Word w = new WordData(this, name, tb.Blob, va.x);
                        if (words.ContainsKey(name)) {
                                throw new Exception(
                                        "Word already defined: " + name);
                        }
                        words[name] = w;
                        lastWord = w;
                });

                /*
                 * Get an address pointing at the end of the current
                 * data block. This is the address of the next byte that
                 * will be added.
                 */
                AddNative("current-data", false, cpu => {
                        if (dataBlock == null) {
                                throw new Exception(
                                        "No current data block");
                        }
                        cpu.Push(new TValue(dataBlock.Length,
                                new TPointerBlob(dataBlock)));
                });

                /*
                 * Add a byte value to the data block.
                 */
                AddNative("data-add8", false, cpu => {
                        if (dataBlock == null) {
                                throw new Exception(
                                        "No current data block");
                        }
                        int v = cpu.Pop();
                        if (v < 0 || v > 0xFF) {
                                throw new Exception(
                                        "Byte value out of range: " + v);
                        }
                        dataBlock.Add8((byte)v);
                });

                /*
                 * Set a byte value in the data block.
                 */
                AddNative("data-set8", false, cpu => {
                        TValue va = cpu.Pop();
                        TPointerBlob tb = va.ptr as TPointerBlob;
                        if (tb == null) {
                                throw new Exception(
                                        "Address is not a data area");
                        }
                        int v = cpu.Pop();
                        if (v < 0 || v > 0xFF) {
                                throw new Exception(
                                        "Byte value out of range: " + v);
                        }
                        tb.Blob.Set8(va.x, (byte)v);
                });

                /*
                 * Get a byte value from a data block.
                 */
                AddNative("data-get8", false, new SType(1, 1), cpu => {
                        TValue va = cpu.Pop();
                        TPointerBlob tb = va.ptr as TPointerBlob;
                        if (tb == null) {
                                throw new Exception(
                                        "Address is not a data area");
                        }
                        int v = tb.Blob.Read8(va.x);
                        cpu.Push(v);
                });

                /*
                 *
                 */
                AddNative("compile-local-read", false, cpu => {
                        CheckCompiling();
                        wordBuilder.GetLocal(cpu.Pop().ToString());
                });
                AddNative("compile-local-write", false, cpu => {
                        CheckCompiling();
                        wordBuilder.PutLocal(cpu.Pop().ToString());
                });

                AddNative("ahead", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Ahead();
                });
                AddNative("begin", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Begin();
                });
                AddNative("again", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Again();
                });
                AddNative("until", true, cpu => {
                        CheckCompiling();
                        wordBuilder.AgainIfNot();
                });
                AddNative("untilnot", true, cpu => {
                        CheckCompiling();
                        wordBuilder.AgainIf();
                });
                AddNative("if", true, cpu => {
                        CheckCompiling();
                        wordBuilder.AheadIfNot();
                });
                AddNative("ifnot", true, cpu => {
                        CheckCompiling();
                        wordBuilder.AheadIf();
                });
                AddNative("then", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Then();
                });
                AddNative("cs-pick", false, cpu => {
                        CheckCompiling();
                        wordBuilder.CSPick(cpu.Pop());
                });
                AddNative("cs-roll", false, cpu => {
                        CheckCompiling();
                        wordBuilder.CSRoll(cpu.Pop());
                });
                AddNative("next-word", false, cpu => {
                        string s = Next();
                        if (s == null) {
                                throw new Exception("No next word (EOF)");
                        }
                        cpu.Push(StringToBlob(s));
                });
                AddNative("parse", false, cpu => {
                        int d = cpu.Pop();
                        string s = ReadTerm(d);
                        cpu.Push(StringToBlob(s));
                });
                AddNative("char", false, cpu => {
                        int c = NextChar();
                        if (c < 0) {
                                throw new Exception("No next character (EOF)");
                        }
                        cpu.Push(c);
                });
                AddNative("'", false, cpu => {
                        string name = Next();
                        cpu.Push(new TValue(0, new TPointerXT(name)));
                });

                /*
                 * The "execute" word is valid in generated C code, but
                 * since it jumps to a runtime pointer, its actual stack
                 * effect cannot be computed in advance.
                 */
                AddNative("execute", false, cpu => {
                        cpu.Pop().Execute(this, cpu);
                });

                AddNative("[", true, cpu => {
                        CheckCompiling();
                        compiling = false;
                });
                AddNative("]", false, cpu => {
                        compiling = true;
                });
                AddNative("(local)", false, cpu => {
                        CheckCompiling();
                        wordBuilder.DefLocal(cpu.Pop().ToString());
                });
                AddNative("ret", true, cpu => {
                        CheckCompiling();
                        wordBuilder.Ret();
                });

                AddNative("drop", false, new SType(1, 0), cpu => {
                        cpu.Pop();
                });
                AddNative("dup", false, new SType(1, 2), cpu => {
                        cpu.Push(cpu.Peek(0));
                });
                AddNative("swap", false, new SType(2, 2), cpu => {
                        cpu.Rot(1);
                });
                AddNative("over", false, new SType(2, 3), cpu => {
                        cpu.Push(cpu.Peek(1));
                });
                AddNative("rot", false, new SType(3, 3), cpu => {
                        cpu.Rot(2);
                });
                AddNative("-rot", false, new SType(3, 3), cpu => {
                        cpu.NRot(2);
                });

                /*
                 * "roll" and "pick" are special in that the stack slot
                 * they inspect might be known only at runtime, so an
                 * absolute stack effect cannot be attributed. Instead,
                 * we simply hope that the caller knows what it is doing,
                 * and we use a simple stack effect for just the count
                 * value and picked value.
                 */
                AddNative("roll", false, new SType(1, 0), cpu => {
                        cpu.Rot(cpu.Pop());
                });
                AddNative("pick", false, new SType(1, 1), cpu => {
                        cpu.Push(cpu.Peek(cpu.Pop()));
                });

                AddNative("+", false, new SType(2, 1), cpu => {
                        TValue b = cpu.Pop();
                        TValue a = cpu.Pop();
                        if (b.ptr == null) {
                                a.x += (int)b;
                                cpu.Push(a);
                        } else if (a.ptr is TPointerBlob
                                && b.ptr is TPointerBlob)
                        {
                                cpu.Push(StringToBlob(
                                        a.ToString() + b.ToString()));
                        } else {
                                throw new Exception(string.Format(
                                        "Cannot add '{0}' to '{1}'", b, a));
                        }
                });
                AddNative("-", false, new SType(2, 1), cpu => {
                        /*
                         * We can subtract two pointers, provided that
                         * they point to the same blob. Otherwise,
                         * the subtraction second operand must be an
                         * integer.
                         */
                        TValue b = cpu.Pop();
                        TValue a = cpu.Pop();
                        TPointerBlob ap = a.ptr as TPointerBlob;
                        TPointerBlob bp = b.ptr as TPointerBlob;
                        if (ap != null && bp != null && ap.Blob == bp.Blob) {
                                cpu.Push(new TValue(a.x - b.x));
                                return;
                        }
                        int bx = b;
                        a.x -= bx;
                        cpu.Push(a);
                });
                AddNative("neg", false, new SType(1, 1), cpu => {
                        int ax = cpu.Pop();
                        cpu.Push(-ax);
                });
                AddNative("*", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax * bx);
                });
                AddNative("/", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax / bx);
                });
                AddNative("u/", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax / bx);
                });
                AddNative("%", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax % bx);
                });
                AddNative("u%", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax % bx);
                });
                AddNative("<", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax < bx);
                });
                AddNative("<=", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax <= bx);
                });
                AddNative(">", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax > bx);
                });
                AddNative(">=", false, new SType(2, 1), cpu => {
                        int bx = cpu.Pop();
                        int ax = cpu.Pop();
                        cpu.Push(ax >= bx);
                });
                AddNative("=", false, new SType(2, 1), cpu => {
                        TValue b = cpu.Pop();
                        TValue a = cpu.Pop();
                        cpu.Push(a.Equals(b));
                });
                AddNative("<>", false, new SType(2, 1), cpu => {
                        TValue b = cpu.Pop();
                        TValue a = cpu.Pop();
                        cpu.Push(!a.Equals(b));
                });
                AddNative("u<", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop().UInt;
                        uint ax = cpu.Pop().UInt;
                        cpu.Push(new TValue(ax < bx));
                });
                AddNative("u<=", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop().UInt;
                        uint ax = cpu.Pop().UInt;
                        cpu.Push(new TValue(ax <= bx));
                });
                AddNative("u>", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop().UInt;
                        uint ax = cpu.Pop().UInt;
                        cpu.Push(new TValue(ax > bx));
                });
                AddNative("u>=", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax >= bx);
                });
                AddNative("and", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax & bx);
                });
                AddNative("or", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax | bx);
                });
                AddNative("xor", false, new SType(2, 1), cpu => {
                        uint bx = cpu.Pop();
                        uint ax = cpu.Pop();
                        cpu.Push(ax ^ bx);
                });
                AddNative("not", false, new SType(1, 1), cpu => {
                        uint ax = cpu.Pop();
                        cpu.Push(~ax);
                });
                AddNative("<<", false, new SType(2, 1), cpu => {
                        int count = cpu.Pop();
                        if (count < 0 || count > 31) {
                                throw new Exception("Invalid shift count");
                        }
                        uint ax = cpu.Pop();
                        cpu.Push(ax << count);
                });
                AddNative(">>", false, new SType(2, 1), cpu => {
                        int count = cpu.Pop();
                        if (count < 0 || count > 31) {
                                throw new Exception("Invalid shift count");
                        }
                        int ax = cpu.Pop();
                        cpu.Push(ax >> count);
                });
                AddNative("u>>", false, new SType(2, 1), cpu => {
                        int count = cpu.Pop();
                        if (count < 0 || count > 31) {
                                throw new Exception("Invalid shift count");
                        }
                        uint ax = cpu.Pop();
                        cpu.Push(ax >> count);
                });

                AddNative(".", false, new SType(1, 0), cpu => {
                        Console.Write(" {0}", cpu.Pop().ToString());
                });
                AddNative(".s", false, SType.BLANK, cpu => {
                        int n = cpu.Depth;
                        for (int i = n - 1; i >= 0; i --) {
                                Console.Write(" {0}", cpu.Peek(i).ToString());
                        }
                });
                AddNative("putc", false, new SType(1, 0), cpu => {
                        Console.Write((char)cpu.Pop());
                });
                AddNative("puts", false, new SType(1, 0), cpu => {
                        Console.Write("{0}", cpu.Pop().ToString());
                });
                AddNative("cr", false, SType.BLANK, cpu => {
                        Console.WriteLine();
                });
                AddNative("eqstr", false, new SType(2, 1), cpu => {
                        string s2 = cpu.Pop().ToString();
                        string s1 = cpu.Pop().ToString();
                        cpu.Push(s1 == s2);
                });
        }

        WordNative AddNative(string name, bool immediate,
                WordNative.NativeRun code)
        {
                return AddNative(name, immediate, SType.UNKNOWN, code);
        }

        WordNative AddNative(string name, bool immediate, SType stackEffect,
                WordNative.NativeRun code)
        {
                if (words.ContainsKey(name)) {
                        throw new Exception(
                                "Word already defined: " + name);
                }
                WordNative w = new WordNative(this, name, code);
                w.Immediate = immediate;
                w.StackEffect = stackEffect;
                words[name] = w;
                return w;
        }

        internal long NextBlobID()
        {
                return currentBlobID ++;
        }

        int NextChar()
        {
                int c = delayedChar;
                if (c >= 0) {
                        delayedChar = Int32.MinValue;
                } else if (c > Int32.MinValue) {
                        delayedChar = -(c + 1);
                        c = '\n';
                } else {
                        c = currentInput.Read();
                }
                if (c == '\r') {
                        if (delayedChar >= 0) {
                                c = delayedChar;
                                delayedChar = Int32.MinValue;
                        } else {
                                c = currentInput.Read();
                        }
                        if (c != '\n') {
                                delayedChar = c;
                                c = '\n';
                        }
                }
                return c;
        }

        /*
         * Un-read the character value 'c'. That value MUST be the one
         * that was obtained from NextChar().
         */
        void Unread(int c)
        {
                if (c < 0) {
                        return;
                }
                if (delayedChar < 0) {
                        if (delayedChar != Int32.MinValue) {
                                throw new Exception(
                                        "Already two delayed characters");
                        }
                        delayedChar = c;
                } else if (c != '\n') {
                        throw new Exception("Cannot delay two characters");
                } else {
                        delayedChar = -(delayedChar + 1);
                }
        }

        string Next()
        {
                string r = delayedToken;
                if (r != null) {
                        delayedToken = null;
                        return r;
                }
                tokenBuilder.Length = 0;
                int c;
                for (;;) {
                        c = NextChar();
                        if (c < 0) {
                                return null;
                        }
                        if (!IsWS(c)) {
                                break;
                        }
                }
                if (c == '"') {
                        return ParseString();
                }
                for (;;) {
                        tokenBuilder.Append((char)c);
                        c = NextChar();
                        if (c < 0 || IsWS(c)) {
                                Unread(c);
                                return tokenBuilder.ToString();
                        }
                }
        }

        string ParseCCode()
        {
                SType stackEffect;
                string r = ParseCCode(out stackEffect);
                if (stackEffect.IsKnown) {
                        throw new Exception(
                                "Stack effect forbidden in this declaration");
                }
                return r;
        }

        string ParseCCode(out SType stackEffect)
        {
                string s = ParseCCodeNF(out stackEffect);
                if (s == null) {
                        throw new Exception("Error while parsing C code");
                }
                return s;
        }

        string ParseCCodeNF(out SType stackEffect)
        {
                stackEffect = SType.UNKNOWN;
                for (;;) {
                        int c = NextChar();
                        if (c < 0) {
                                return null;
                        }
                        if (!IsWS(c)) {
                                if (c == '(') {
                                        if (stackEffect.IsKnown) {
                                                Unread(c);
                                                return null;
                                        }
                                        stackEffect = ParseStackEffectNF();
                                        if (!stackEffect.IsKnown) {
                                                return null;
                                        }
                                        continue;
                                } else if (c != '{') {
                                        Unread(c);
                                        return null;
                                }
                                break;
                        }
                }
                StringBuilder sb = new StringBuilder();
                int count = 1;
                for (;;) {
                        int c = NextChar();
                        if (c < 0) {
                                return null;
                        }
                        switch (c) {
                        case '{':
                                count ++;
                                break;
                        case '}':
                                if (-- count == 0) {
                                        return sb.ToString();
                                }
                                break;
                        }
                        sb.Append((char)c);
                }
        }

        /*
         * Parse a stack effect declaration. This method assumes that the
         * opening parenthesis has just been read. If the parsing fails,
         * then this method returns SType.UNKNOWN.
         */
        SType ParseStackEffectNF()
        {
                bool seenSep = false;
                bool seenBang = false;
                int din = 0, dout = 0;
                for (;;) {
                        string t = Next();
                        if (t == null) {
                                return SType.UNKNOWN;
                        }
                        if (t == "--") {
                                if (seenSep) {
                                        return SType.UNKNOWN;
                                }
                                seenSep = true;
                        } else if (t == ")") {
                                if (seenSep) {
                                        if (seenBang && dout == 1) {
                                                dout = -1;
                                        }
                                        return new SType(din, dout);
                                } else {
                                        return SType.UNKNOWN;
                                }
                        } else {
                                if (seenSep) {
                                        if (dout == 0 && t == "!") {
                                                seenBang = true;
                                        }
                                        dout ++;
                                } else {
                                        din ++;
                                }
                        }
                }
        }

        string ParseString()
        {
                StringBuilder sb = new StringBuilder();
                sb.Append('"');
                bool lcwb = false;
                int hexNum = 0;
                int acc = 0;
                for (;;) {
                        int c = NextChar();
                        if (c < 0) {
                                throw new Exception(
                                        "Unfinished literal string");
                        }
                        if (hexNum > 0) {
                                int d = HexVal(c);
                                if (d < 0) {
                                        throw new Exception(String.Format(
                                                "not an hex digit: U+{0:X4}",
                                                c));
                                }
                                acc = (acc << 4) + d;
                                if (-- hexNum == 0) {
                                        sb.Append((char)acc);
                                        acc = 0;
                                }
                        } else if (lcwb) {
                                lcwb = false;
                                switch (c) {
                                case '\n': SkipNL(); break;
                                case 'x':
                                        hexNum = 2;
                                        break;
                                case 'u':
                                        hexNum = 4;
                                        break;
                                default:
                                        sb.Append(SingleCharEscape(c));
                                        break;
                                }
                        } else {
                                switch (c) {
                                case '"':
                                        return sb.ToString();
                                case '\\':
                                        lcwb = true;
                                        break;
                                default:
                                        sb.Append((char)c);
                                        break;
                                }
                        }
                }
        }

        static char SingleCharEscape(int c)
        {
                switch (c) {
                case 'n': return '\n';
                case 'r': return '\r';
                case 't': return '\t';
                case 's': return ' ';
                default:
                        return (char)c;
                }
        }

        /*
         * A backslash+newline sequence occurred in a literal string; we
         * check and consume the newline escape sequence (whitespace at
         * start of next line, then a double-quote character).
         */
        void SkipNL()
        {
                for (;;) {
                        int c = NextChar();
                        if (c < 0) {
                                throw new Exception("EOF in literal string");
                        }
                        if (c == '\n') {
                                throw new Exception(
                                        "Unescaped newline in literal string");
                        }
                        if (IsWS(c)) {
                                continue;
                        }
                        if (c == '"') {
                                return;
                        }
                        throw new Exception(
                                "Invalid newline escape in literal string");
                }
        }

        static char DecodeCharConst(string t)
        {
                if (t.Length == 1 && t[0] != '\\') {
                        return t[0];
                }
                if (t.Length >= 2 && t[0] == '\\') {
                        switch (t[1]) {
                        case 'x':
                                if (t.Length == 4) {
                                        int x = DecHex(t.Substring(2));
                                        if (x >= 0) {
                                                return (char)x;
                                        }
                                }
                                break;
                        case 'u':
                                if (t.Length == 6) {
                                        int x = DecHex(t.Substring(2));
                                        if (x >= 0) {
                                                return (char)x;
                                        }
                                }
                                break;
                        default:
                                if (t.Length == 2) {
                                        return SingleCharEscape(t[1]);
                                }
                                break;
                        }
                }
                throw new Exception("Invalid literal char: `" + t);
        }

        static int DecHex(string s)
        {
                int acc = 0;
                foreach (char c in s) {
                        int d = HexVal(c);
                        if (d < 0) {
                                return -1;
                        }
                        acc = (acc << 4) + d;
                }
                return acc;
        }

        static int HexVal(int c)
        {
                if (c >= '0' && c <= '9') {
                        return c - '0';
                } else if (c >= 'A' && c <= 'F') {
                        return c - ('A' - 10);
                } else if (c >= 'a' && c <= 'f') {
                        return c - ('a' - 10);
                } else {
                        return -1;
                }
        }

        string ReadTerm(int ct)
        {
                StringBuilder sb = new StringBuilder();
                for (;;) {
                        int c = NextChar();
                        if (c < 0) {
                                throw new Exception(String.Format(
                                        "EOF reached before U+{0:X4}", ct));
                        }
                        if (c == ct) {
                                return sb.ToString();
                        }
                        sb.Append((char)c);
                }
        }

        static bool IsWS(int c)
        {
                return c <= 32;
        }

        void ProcessInput(TextReader tr)
        {
                this.currentInput = tr;
                delayedChar = -1;
                Word w = new WordNative(this, "toplevel",
                        xcpu => { CompileStep(xcpu); });
                CPU cpu = new CPU();
                Opcode[] code = new Opcode[] {
                        new OpcodeCall(w),
                        new OpcodeJumpUncond(-2)
                };
                quitRunLoop = false;
                cpu.Enter(code, 0);
                for (;;) {
                        if (quitRunLoop) {
                                break;
                        }
                        Opcode op = cpu.ipBuf[cpu.ipOff ++];
                        op.Run(cpu);
                }
        }

        void CompileStep(CPU cpu)
        {
                string tt = Next();
                if (tt == null) {
                        if (compiling) {
                                throw new Exception("EOF while compiling");
                        }
                        quitRunLoop = true;
                        return;
                }
                TValue v;
                bool isVal = TryParseLiteral(tt, out v);
                Word w = LookupNF(tt);
                if (isVal && w != null) {
                        throw new Exception(String.Format(
                                "Ambiguous: both defined word and literal: {0}",
                                tt));
                }
                if (compiling) {
                        if (isVal) {
                                wordBuilder.Literal(v);
                        } else if (w != null) {
                                if (w.Immediate) {
                                        w.Run(cpu);
                                } else {
                                        wordBuilder.CallExt(w);
                                }
                        } else {
                                wordBuilder.Call(tt);
                        }
                } else {
                        if (isVal) {
                                cpu.Push(v);
                        } else if (w != null) {
                                w.Run(cpu);
                        } else {
                                throw new Exception(String.Format(
                                        "Unknown word: '{0}'", tt));
                        }
                }
        }

        string GetCCode(string name)
        {
                string ccode;
                allCCode.TryGetValue(name, out ccode);
                return ccode;
        }

        void Generate(string outBase, string coreRun,
                params string[] entryPoints)
        {
                /*
                 * Gather all words that are part of the generated
                 * code. This is done by exploring references
                 * transitively. All such words are thus implicitly
                 * resolved.
                 */
                IDictionary<string, Word> wordSet =
                        new SortedDictionary<string, Word>(
                                StringComparer.Ordinal);
                Queue<Word> tx = new Queue<Word>();
                foreach (string ep in entryPoints) {
                        if (wordSet.ContainsKey(ep)) {
                                continue;
                        }
                        Word w = Lookup(ep);
                        wordSet[w.Name] = w;
                        tx.Enqueue(w);
                }
                while (tx.Count > 0) {
                        Word w = tx.Dequeue();
                        foreach (Word w2 in w.GetReferences()) {
                                if (wordSet.ContainsKey(w2.Name)) {
                                        continue;
                                }
                                wordSet[w2.Name] = w2;
                                tx.Enqueue(w2);
                        }
                }

                /*
                 * Do flow analysis.
                 */
                if (enableFlowAnalysis) {
                        foreach (string ep in entryPoints) {
                                Word w = wordSet[ep];
                                w.AnalyseFlow();
                                Console.WriteLine("{0}: ds={1} rs={2}",
                                        ep, w.MaxDataStack, w.MaxReturnStack);
                                if (w.MaxDataStack > dsLimit) {
                                        throw new Exception("'" + ep
                                                + "' exceeds data stack limit");
                                }
                                if (w.MaxReturnStack > rsLimit) {
                                        throw new Exception("'" + ep
                                                + "' exceeds return stack"
                                                + " limit");
                                }
                        }
                }

                /*
                 * Gather referenced data areas and compute their
                 * addresses in the generated data block. The address
                 * 0 in the data block is unaffected so that no
                 * valid runtime pointer is equal to null.
                 */
                IDictionary<long, ConstData> blocks =
                        new SortedDictionary<long, ConstData>();
                foreach (Word w in wordSet.Values) {
                        foreach (ConstData cd in w.GetDataBlocks()) {
                                blocks[cd.ID] = cd;
                        }
                }
                int dataLen = 1;
                foreach (ConstData cd in blocks.Values) {
                        cd.Address = dataLen;
                        dataLen += cd.Length;
                }

                /*
                 * Generated code is a sequence of "slot numbers", each
                 * referencing either a piece of explicit C code, or an
                 * entry in the table of interpreted words.
                 *
                 * Opcodes other than "call" get the slots 0 to 6:
                 *
                 *   0   ret           no argument
                 *   1   const         signed value
                 *   2   get local     local number
                 *   3   put local     local number
                 *   4   jump          signed offset
                 *   5   jump if       signed offset
                 *   6   jump if not   signed offset
                 *
                 * The argument, if any, is in "7E" format: the value is
                 * encoded in 7-bit chunk, with big-endian signed
                 * convention. Each 7-bit chunk is encoded over one byte;
                 * the upper bit is 1 for all chunks except the last one.
                 *
                 * Words with explicit C code get the slot numbers
                 * immediately after 6. Interpreted words come afterwards.
                 */
                IDictionary<string, int> slots = new Dictionary<string, int>();
                int curSlot = 7;

                /*
                 * Get explicit C code for words which have such code.
                 * We use string equality on C code so that words with
                 * identical implementations get merged.
                 *
                 * We also check that words with no explicit C code are
                 * interpreted.
                 */
                IDictionary<string, int> ccodeUni =
                        new Dictionary<string, int>();
                IDictionary<int, string> ccodeNames =
                        new Dictionary<int, string>();
                foreach (Word w in wordSet.Values) {
                        string ccode = GetCCode(w.Name);
                        if (ccode == null) {
                                if (w is WordNative) {
                                        throw new Exception(String.Format(
                                                "No C code for native '{0}'",
                                                w.Name));
                                }
                                continue;
                        }
                        int sn;
                        if (ccodeUni.ContainsKey(ccode)) {
                                sn = ccodeUni[ccode];
                                ccodeNames[sn] += " " + EscapeCComment(w.Name);
                        } else {
                                sn = curSlot ++;
                                ccodeUni[ccode] = sn;
                                ccodeNames[sn] = EscapeCComment(w.Name);
                        }
                        slots[w.Name] = sn;
                        w.Slot = sn;
                }

                /*
                 * Assign slot values to all remaining words; we know they
                 * are all interpreted.
                 */
                int slotInterpreted = curSlot;
                foreach (Word w in wordSet.Values) {
                        if (GetCCode(w.Name) != null) {
                                continue;
                        }
                        int sn = curSlot ++;
                        slots[w.Name] = sn;
                        w.Slot = sn;
                }
                int numInterpreted = curSlot - slotInterpreted;

                /*
                 * Verify that all entry points are interpreted words.
                 */
                foreach (string ep in entryPoints) {
                        if (GetCCode(ep) != null) {
                                throw new Exception(
                                        "Non-interpreted entry point");
                        }
                }

                /*
                 * Compute the code block. Each word (without any C code)
                 * yields some CodeElement instances.
                 */
                List<CodeElement> gcodeList = new List<CodeElement>();
                CodeElement[] interpretedEntry =
                        new CodeElement[numInterpreted];
                foreach (Word w in wordSet.Values) {
                        if (GetCCode(w.Name) != null) {
                                continue;
                        }
                        int n = gcodeList.Count;
                        w.GenerateCodeElements(gcodeList);
                        interpretedEntry[w.Slot - slotInterpreted] =
                                gcodeList[n];
                }
                CodeElement[] gcode = gcodeList.ToArray();

                /*
                 * If there are less than 256 words in total (C +
                 * interpreted) then we can use "one-byte code" which is
                 * more compact when the number of words is in the
                 * 128..255 range.
                 */
                bool oneByteCode;
                if (slotInterpreted + numInterpreted >= 256) {
                        Console.WriteLine("WARNING: more than 255 words");
                        oneByteCode = false;
                } else {
                        oneByteCode = true;
                }

                /*
                 * Compute all addresses and offsets. This loops until
                 * the addresses stabilize.
                 */
                int totalLen = -1;
                int[] gcodeLen = new int[gcode.Length];
                for (;;) {
                        for (int i = 0; i < gcode.Length; i ++) {
                                gcodeLen[i] = gcode[i].GetLength(oneByteCode);
                        }
                        int off = 0;
                        for (int i = 0; i < gcode.Length; i ++) {
                                gcode[i].Address = off;
                                gcode[i].LastLength = gcodeLen[i];
                                off += gcodeLen[i];
                        }
                        if (off == totalLen) {
                                break;
                        }
                        totalLen = off;
                }

                /*
                 * Produce output file.
                 */
                using (TextWriter tw = File.CreateText(outBase + ".c")) {
                        tw.NewLine = "\n";

                        tw.WriteLine("{0}",
@"/* Automatically generated code; do not modify directly. */

#include <stddef.h>
#include <stdint.h>

typedef struct {
        uint32_t *dp;
        uint32_t *rp;
        const unsigned char *ip;
} t0_context;

static uint32_t
t0_parse7E_unsigned(const unsigned char **p)
{
        uint32_t x;

        x = 0;
        for (;;) {
                unsigned y;

                y = *(*p) ++;
                x = (x << 7) | (uint32_t)(y & 0x7F);
                if (y < 0x80) {
                        return x;
                }
        }
}

static int32_t
t0_parse7E_signed(const unsigned char **p)
{
        int neg;
        uint32_t x;

        neg = ((**p) >> 6) & 1;
        x = (uint32_t)-neg;
        for (;;) {
                unsigned y;

                y = *(*p) ++;
                x = (x << 7) | (uint32_t)(y & 0x7F);
                if (y < 0x80) {
                        if (neg) {
                                return -(int32_t)~x - 1;
                        } else {
                                return (int32_t)x;
                        }
                }
        }
}

#define T0_VBYTE(x, n)   (unsigned char)((((uint32_t)(x) >> (n)) & 0x7F) | 0x80)
#define T0_FBYTE(x, n)   (unsigned char)(((uint32_t)(x) >> (n)) & 0x7F)
#define T0_SBYTE(x)      (unsigned char)((((uint32_t)(x) >> 28) + 0xF8) ^ 0xF8)
#define T0_INT1(x)       T0_FBYTE(x, 0)
#define T0_INT2(x)       T0_VBYTE(x, 7), T0_FBYTE(x, 0)
#define T0_INT3(x)       T0_VBYTE(x, 14), T0_VBYTE(x, 7), T0_FBYTE(x, 0)
#define T0_INT4(x)       T0_VBYTE(x, 21), T0_VBYTE(x, 14), T0_VBYTE(x, 7), T0_FBYTE(x, 0)
#define T0_INT5(x)       T0_SBYTE(x), T0_VBYTE(x, 21), T0_VBYTE(x, 14), T0_VBYTE(x, 7), T0_FBYTE(x, 0)

/* static const unsigned char t0_datablock[]; */
");

                        /*
                         * Add declarations (not definitions) for the
                         * entry point initialisation functions, and the
                         * runner.
                         */
                        tw.WriteLine();
                        foreach (string ep in entryPoints) {
                                tw.WriteLine("void {0}_init_{1}(void *t0ctx);",
                                        coreRun, ep);
                        }
                        tw.WriteLine();
                        tw.WriteLine("void {0}_run(void *t0ctx);", coreRun);

                        /*
                         * Add preamble elements here. They may be needed
                         * for evaluating constant expressions in the
                         * code block.
                         */
                        foreach (string pp in extraCode) {
                                tw.WriteLine();
                                tw.WriteLine("{0}", pp);
                        }

                        BlobWriter bw;
                        tw.WriteLine();
                        tw.Write("static const unsigned char"
                                + " t0_datablock[] = {");
                        bw = new BlobWriter(tw, 78, 1);
                        bw.Append((byte)0);
                        foreach (ConstData cd in blocks.Values) {
                                cd.Encode(bw);
                        }
                        tw.WriteLine();
                        tw.WriteLine("};");

                        tw.WriteLine();
                        tw.Write("static const unsigned char"
                                + " t0_codeblock[] = {");
                        bw = new BlobWriter(tw, 78, 1);
                        foreach (CodeElement ce in gcode) {
                                ce.Encode(bw, oneByteCode);
                        }
                        tw.WriteLine();
                        tw.WriteLine("};");

                        tw.WriteLine();
                        tw.Write("static const uint16_t t0_caddr[] = {");
                        for (int i = 0; i < interpretedEntry.Length; i ++) {
                                if (i != 0) {
                                        tw.Write(',');
                                }
                                tw.WriteLine();
                                tw.Write("\t{0}", interpretedEntry[i].Address);
                        }
                        tw.WriteLine();
                        tw.WriteLine("};");

                        tw.WriteLine();
                        tw.WriteLine("#define T0_INTERPRETED   {0}",
                                slotInterpreted);
                        tw.WriteLine();
                        tw.WriteLine("{0}",
@"#define T0_ENTER(ip, rp, slot)   do { \
                const unsigned char *t0_newip; \
                uint32_t t0_lnum; \
                t0_newip = &t0_codeblock[t0_caddr[(slot) - T0_INTERPRETED]]; \
                t0_lnum = t0_parse7E_unsigned(&t0_newip); \
                (rp) += t0_lnum; \
                *((rp) ++) = (uint32_t)((ip) - &t0_codeblock[0]) + (t0_lnum << 16); \
                (ip) = t0_newip; \
        } while (0)");
                        tw.WriteLine();
                        tw.WriteLine("{0}",
@"#define T0_DEFENTRY(name, slot) \
void \
name(void *ctx) \
{ \
        t0_context *t0ctx = ctx; \
        t0ctx->ip = &t0_codeblock[0]; \
        T0_ENTER(t0ctx->ip, t0ctx->rp, slot); \
}");

                        tw.WriteLine();
                        foreach (string ep in entryPoints) {
                                tw.WriteLine("T0_DEFENTRY({0}, {1})",
                                        coreRun + "_init_" + ep,
                                        wordSet[ep].Slot);
                        }
                        tw.WriteLine();
                        if (oneByteCode) {
                                tw.WriteLine("{0}",
@"#define T0_NEXT(t0ipp)   (*(*(t0ipp)) ++)");
                        } else {
                                tw.WriteLine("{0}",
@"#define T0_NEXT(t0ipp)   t0_parse7E_unsigned(t0ipp)");
                        }
                        tw.WriteLine();
                        tw.WriteLine("void");
                        tw.WriteLine("{0}_run(void *t0ctx)", coreRun);
                        tw.WriteLine("{0}",
@"{
        uint32_t *dp, *rp;
        const unsigned char *ip;

#define T0_LOCAL(x)    (*(rp - 2 - (x)))
#define T0_POP()       (*-- dp)
#define T0_POPi()      (*(int32_t *)(-- dp))
#define T0_PEEK(x)     (*(dp - 1 - (x)))
#define T0_PEEKi(x)    (*(int32_t *)(dp - 1 - (x)))
#define T0_PUSH(v)     do { *dp = (v); dp ++; } while (0)
#define T0_PUSHi(v)    do { *(int32_t *)dp = (v); dp ++; } while (0)
#define T0_RPOP()      (*-- rp)
#define T0_RPOPi()     (*(int32_t *)(-- rp))
#define T0_RPUSH(v)    do { *rp = (v); rp ++; } while (0)
#define T0_RPUSHi(v)   do { *(int32_t *)rp = (v); rp ++; } while (0)
#define T0_ROLL(x)     do { \
        size_t t0len = (size_t)(x); \
        uint32_t t0tmp = *(dp - 1 - t0len); \
        memmove(dp - t0len - 1, dp - t0len, t0len * sizeof *dp); \
        *(dp - 1) = t0tmp; \
} while (0)
#define T0_SWAP()      do { \
        uint32_t t0tmp = *(dp - 2); \
        *(dp - 2) = *(dp - 1); \
        *(dp - 1) = t0tmp; \
} while (0)
#define T0_ROT()       do { \
        uint32_t t0tmp = *(dp - 3); \
        *(dp - 3) = *(dp - 2); \
        *(dp - 2) = *(dp - 1); \
        *(dp - 1) = t0tmp; \
} while (0)
#define T0_NROT()       do { \
        uint32_t t0tmp = *(dp - 1); \
        *(dp - 1) = *(dp - 2); \
        *(dp - 2) = *(dp - 3); \
        *(dp - 3) = t0tmp; \
} while (0)
#define T0_PICK(x)      do { \
        uint32_t t0depth = (x); \
        T0_PUSH(T0_PEEK(t0depth)); \
} while (0)
#define T0_CO()         do { \
        goto t0_exit; \
} while (0)
#define T0_RET()        goto t0_next

        dp = ((t0_context *)t0ctx)->dp;
        rp = ((t0_context *)t0ctx)->rp;
        ip = ((t0_context *)t0ctx)->ip;
        goto t0_next;
        for (;;) {
                uint32_t t0x;

        t0_next:
                t0x = T0_NEXT(&ip);
                if (t0x < T0_INTERPRETED) {
                        switch (t0x) {
                                int32_t t0off;

                        case 0: /* ret */
                                t0x = T0_RPOP();
                                rp -= (t0x >> 16);
                                t0x &= 0xFFFF;
                                if (t0x == 0) {
                                        ip = NULL;
                                        goto t0_exit;
                                }
                                ip = &t0_codeblock[t0x];
                                break;
                        case 1: /* literal constant */
                                T0_PUSHi(t0_parse7E_signed(&ip));
                                break;
                        case 2: /* read local */
                                T0_PUSH(T0_LOCAL(t0_parse7E_unsigned(&ip)));
                                break;
                        case 3: /* write local */
                                T0_LOCAL(t0_parse7E_unsigned(&ip)) = T0_POP();
                                break;
                        case 4: /* jump */
                                t0off = t0_parse7E_signed(&ip);
                                ip += t0off;
                                break;
                        case 5: /* jump if */
                                t0off = t0_parse7E_signed(&ip);
                                if (T0_POP()) {
                                        ip += t0off;
                                }
                                break;
                        case 6: /* jump if not */
                                t0off = t0_parse7E_signed(&ip);
                                if (!T0_POP()) {
                                        ip += t0off;
                                }
                                break;");

                        SortedDictionary<int, string> nccode =
                                new SortedDictionary<int, string>();
                        foreach (string k in ccodeUni.Keys) {
                                nccode[ccodeUni[k]] = k;
                        }
                        foreach (int sn in nccode.Keys) {
                                tw.WriteLine(
@"                      case {0}: {{
                                /* {1} */
{2}
                                }}
                                break;", sn, ccodeNames[sn], nccode[sn]);
                        }

                        tw.WriteLine(
@"                      }

                } else {
                        T0_ENTER(ip, rp, t0x);
                }
        }
t0_exit:
        ((t0_context *)t0ctx)->dp = dp;
        ((t0_context *)t0ctx)->rp = rp;
        ((t0_context *)t0ctx)->ip = ip;
}");

                        /*
                         * Add the "postamblr" elements here. These are
                         * elements that may need access to the data
                         * block or code block, so they must occur after
                         * their definition.
                         */
                        foreach (string pp in extraCodeDefer) {
                                tw.WriteLine();
                                tw.WriteLine("{0}", pp);
                        }
                }

                int codeLen = 0;
                foreach (CodeElement ce in gcode) {
                        codeLen += ce.GetLength(oneByteCode);
                }
                int dataBlockLen = 0;
                foreach (ConstData cd in blocks.Values) {
                        dataBlockLen += cd.Length;
                }

                /*
                 * Write some statistics on produced code.
                 */
                Console.WriteLine("code length: {0,6} byte(s)", codeLen);
                Console.WriteLine("data length: {0,6} byte(s)", dataLen);
                Console.WriteLine("total words: {0} (interpreted: {1})",
                        slotInterpreted + numInterpreted, numInterpreted);
        }

        internal Word Lookup(string name)
        {
                Word w = LookupNF(name);
                if (w != null) {
                        return w;
                }
                throw new Exception(String.Format("No such word: '{0}'", name));
        }

        internal Word LookupNF(string name)
        {
                Word w;
                words.TryGetValue(name, out w);
                return w;
        }

        internal TValue StringToBlob(string s)
        {
                return new TValue(0, new TPointerBlob(this, s));
        }

        internal bool TryParseLiteral(string tt, out TValue tv)
        {
                tv = new TValue(0);
                if (tt.StartsWith("\"")) {
                        tv = StringToBlob(tt.Substring(1));
                        return true;
                }
                if (tt.StartsWith("`")) {
                        tv = DecodeCharConst(tt.Substring(1));
                        return true;
                }
                bool neg = false;
                if (tt.StartsWith("-")) {
                        neg = true;
                        tt = tt.Substring(1);
                } else if (tt.StartsWith("+")) {
                        tt = tt.Substring(1);
                }
                uint radix = 10;
                if (tt.StartsWith("0x") || tt.StartsWith("0X")) {
                        radix = 16;
                        tt = tt.Substring(2);
                } else if (tt.StartsWith("0b") || tt.StartsWith("0B")) {
                        radix = 2;
                        tt = tt.Substring(2);
                }
                if (tt.Length == 0) {
                        return false;
                }
                uint acc = 0;
                bool overflow = false;
                uint maxV = uint.MaxValue / radix;
                foreach (char c in tt) {
                        int d = HexVal(c);
                        if (d < 0 || d >= radix) {
                                return false;
                        }
                        if (acc > maxV) {
                                overflow = true;
                        }
                        acc *= radix;
                        if ((uint)d > uint.MaxValue - acc) {
                                overflow = true;
                        }
                        acc += (uint)d;
                }
                int x = (int)acc;
                if (neg) {
                        if (acc > (uint)0x80000000) {
                                overflow = true;
                        }
                        x = -x;
                }
                if (overflow) {
                        throw new Exception(
                                "invalid literal integer (overflow)");
                }
                tv = x;
                return true;
        }

        int ParseInteger(string tt)
        {
                TValue tv;
                if (!TryParseLiteral(tt, out tv)) {
                        throw new Exception("not an integer: " + ToString());
                }
                return (int)tv;
        }

        void CheckCompiling()
        {
                if (!compiling) {
                        throw new Exception("Not in compilation mode");
                }
        }

        static string EscapeCComment(string s)
        {
                StringBuilder sb = new StringBuilder();
                foreach (char c in s) {
                        if (c >= 33 && c <= 126 && c != '%') {
                                sb.Append(c);
                        } else if (c < 0x100) {
                                sb.AppendFormat("%{0:X2}", (int)c);
                        } else if (c < 0x800) {
                                sb.AppendFormat("%{0:X2}%{0:X2}",
                                        ((int)c >> 6) | 0xC0,
                                        ((int)c & 0x3F) | 0x80);
                        } else {
                                sb.AppendFormat("%{0:X2}%{0:X2}%{0:X2}",
                                        ((int)c >> 12) | 0xE0,
                                        (((int)c >> 6) & 0x3F) | 0x80,
                                        ((int)c & 0x3F) | 0x80);
                        }
                }
                return sb.ToString().Replace("*/", "%2A/");
        }
}