 --> [ local path prefix ]/state_machine/initial_transitions/sm_no_transition.fpp:1:15
  |
1 | state machine M {
  |               ^ state machine must have initial transition

