 --> [ local path prefix ]/state_machine/types/signal_undef_type.fpp:3:13
  |
3 |   signal s: T
  |             ^ cannot find type `T` in scope

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

