Symbol: ENGINE_finish