*** Begin of history file: Wed Nov 10 13:20:15 1999
exe flux
exe flux
quit
*** End   of history file: Wed Nov 10 13:20:34 1999