Wrap.h: Define wrap / unwrap function for ExecutionEngine