LIB "tst.lib"; tst_init();
  extgcd(24,10);
  ring r=0,(x,y),lp;
  extgcd(x4-x6,(x2+x5)*(x2+x3));
tst_status(1);$