presto-rcfile/src/main/java/io/prestosql/rcfile/RcFileReader.java/RcFileReader/verify
class RcFileReader:    private void verify(boolean expression, String messageFormat, Object... args)
            throws RcFileCorruptionException
    {
        if (!expression) {
            throw corrupt(messageFormat, args);
        }
    }