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




