if (isTerminator(b)) { terminatorPos = i; break;
if (isTerminator(b)) { terminatorPos = i; break;
if (isTerminator(b)) { terminatorPos = i; break;
if (isTerminator(b)) { terminatorPos = i; break;
if (isTerminator(b)) { terminatorPos = i; break;
if (isTerminator(b)) { terminatorPos = i; break;