Executing a user-compiled object