let SEARCH_PATTERN=Cannot decrypt .*tooshort.enc. Not encrypted;
source filekeys_badtest.inc;

--echo # Test checks if opening an too short filekeys does not crash the server.