I'm not entirely sure I understand. The formal semantics hopefully speak for themselves. Ultimately, when compiling Dawn to C or machine code, we'll want to use

I'm not entirely sure I understand. The formal semantics hopefully speak for themselves. Ultimately, when compiling Dawn to C or machine code, we'll want to use a stack of instruction pointers rather than maintaining an explicit queue of terms to be evaluated.