bit_not::=