Comment by dsfuoi

It's just one line. Put this before the loop if the code logically shouldn't trigger this.

  assert( B < B_TYPE_MAX - 4 );

Or use an if statement if it could trigger at runtime.

Also the code is clearer on intent.