test aux0[3] is always 1b1