More support for ExecutionEngine