LIB "tst.lib"; tst_init();
LIB "normaliz.lib";
setNmzOption("hilb",1);
showNmzOptions();
tst_status(1);$