ntA(i0, i4) if
  bit(i0, false, i1) and
  ntB(i1, i2) and
  bit(i2, true, i3) and
  ntC(i3, i4);