Comment on how to implement top-level evaluation in the cross compiler.