No, we want to release the lock before running the user's program.