function [stk,txt,top]=sci_delete()
// Copyright INRIA
txt=[]
stk=list('xdel('+stk(top)(1)+')','0','0','0','0')






