extern int  done; /* When non-zero, this global means the user is done using this program. */