1%Error: t/t_dpi_name_bad.v:12:32: DPI function has illegal characters in C identifier name: 'badly.named'
2   12 |    import "DPI-C" function int \badly.named (int i);
3      |                                ^~~~~~~~~~~~
4%Error: Exiting due to
5