 --> [ local path prefix ]/state_machine/types/array_default_error.fpp:2:29
  |
2 |   array A = [3] U32 default "abc"
  |                             ^^^^^ default value cannot be converted to A
  |
  = note: single element could not be promoted to array
  = note: string cannot be converted to U32

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

