add annotation for bitops