More functions for ExecutionEngine