Translations for new statemachine form