/* This file is obsolete (lstrncmp() function in FILING now used) */