function [stk,txt,top]=sci_lower()
// Copyright INRIA
txt=[]
stk=list('convstr('+stk(top)(1)+')','0',stk(top)(3),stk(top)(4),'10')



