 --> [ local path prefix ]/redef/module_state_machine.fpp:3:19
  |
3 |     state machine A
  |                   ^ redefinition of symbol A
  |
 ::: [ local path prefix ]/redef/module_state_machine.fpp:2:5
  |
2 |     state machine A
  |     --------------- previous definition is here

