using a new macro to type check bitwise expression