tests/TestMacros/TestMacros.sl

  TestMacros.v -d 0  +incdir+.+..  +libext+.v -writepp -v xl.v -mt max -parse