let SEARCH_PATTERN=File '' not found;
source filekeys_badtest.inc;