function [stk,txt,top]=sci_exit()
// Copyright INRIA
txt=['exit']
stk=list(' ','-1','?','?','?')




