KeyString's functions can throw exceptions, but the validate command doesn't specifically catch these exceptions; instead, there is a top-level catch in validate that only reports the error and interrupts the rest of the validate procedure. It would be better if we could catch these exceptions at a lower level, thus allowing validate to skip over and continue after encountering index table records that aren't valid KeyStrings.