Circuit2 translations.