Section 5.5.7 - Interfacing Compiled Code to the Evaluator (the final annotation!?)