LIB "tst.lib"; tst_init(); option(noloadLib); // show no loading of libraries; // standard.lib is loaded listvar(package); // the names of the procedures of inout.lib LIB "inout.lib"; // are now known to Singular listvar(package); tst_status(1);$