(* The following exec file builds this program; run it by typing 'R