LIB "tst.lib"; tst_init(); LIB "mregular.lib"; example regIdeal; example depthIdeal; example satiety; example regMonCurve; example NoetherPosition; example is_NP; example is_nested; tst_status(1);$