LIB "tst.lib"; tst_init(); option(loadLib); // show loading of libraries // the names of the procedures of inout.lib LIB "inout.lib"; // are now known to Singular tst_status(1);$