@Test
public void read_beyond_end_mapped_byte(){

    try{
        Volume v = new Volume.MappedFileVol(Utils.tempDbFile(), false);
        v.getByte(1000000);
        fail();
    }catch(IOError e){
        assertTrue(e.getCause() instanceof  EOFException);
    }
}