+Tasks in \gls{MTASK} are compiled at run time to byte code.
+This byte code is evaluated using the interpreter.
+The result of this evaluation is a task tree.
+Subsequently, this task tree is rewritten until a stable value is observed.
+This appendix describes the semantics of the byte code instruction set of \gls{MTASK} (see \cref{chp:implementation}).