new theory for bitwise ops over int type