We decided to permit bitwise operators