tdse-tp1_01-my_first_statechart, branch HEAD