/testsuite/bsc.verilog/parameters/string/