need to fetch value of c_int to bitwise and...