LIB "tst.lib"; tst_init(); ring r=0,x,dp; typeof(10); typeof(10000000000000000); typeof(r); attrib(x); attrib(std(ideal(x))); tst_status(1);$