loop in $SEARCH: same file returned twice

    Explanation: RMS's $SEARCH function did not return files in
    alphabetical order. This may be caused by a corrupt directory
    file or by an alias that points to a deleted file.

    User Action: Investigate the directory structure of the disk.