Wed Aug 29 15:43:09 EDT 2007 geoff
    fixed somewhat differently; the value returned by
    gettokens should have been checked for sanity.