void readToArray(final byte[] destination,
                   final int offsetInArray,
                   final int offsetInPage,
                   final int length);
void readToArray(final byte[] destination,
                   final int offsetInArray,
                   final int offsetInPage,
                   final int length)