void (final int recordId) { final int allocatedSoFar = myRecordCount.get(); if (!(FSRecords.NULL_FILE_ID < recordId && recordId <= allocatedSoFar)) { throw new IndexOutOfBoundsException( "recordId(=" + recordId + ") is outside of allocated IDs range (0, " + allocatedSoFar + "]"); } }