Lazy evaluator & exec-4.27