#FAIL:
!(bit_count_A[6:0]=15);