* query or -1 if nothing was found.
*/
private static int randomTestCramFileWithBaiIndex(File cramFile,
File cramIndexFile, File refFile, int posMin, int posMax,
int repeat, String sequenceName) {
CRAMFileReader reader = new CRAMFileReader(cramFile, cramIndexFile,
ReferenceSequenceFileFactory.getReferenceSequenceFile(refFile));
int overhead = 0;
Random random = new Random();