END --> END; in translation