1%Error: t/t_param_default_bad.v:7:26: Parameter requires default value, or use IEEE 1800-2009 or later.
2    7 | module m #(parameter int Foo);
3      |                          ^~~
4%Error: Exiting due to
5