bit_check::=