Symbol: guest_code_user_operexec