 --> [ local path prefix ]/redef/module_topology.fpp:2:10
  |
2 | topology M { }
  |          ^ redefinition of symbol M
  |
 ::: [ local path prefix ]/redef/module_topology.fpp:1:1
  |
1 | module M { }
  | ------------ previous definition is here

