LIB "tst.lib"; tst_init();
LIB "mondromy.lib";
ring R=0,(x,y),dp;
invunit(2+x3+xy4,10);
tst_status(1);$