3.3(c) Ceval (the Eval Loop)

<TBD>

<all about the ceval loop, esp. relative to global runtime state moving to interpreter/thread-level>