dc.int bit_flip(dc.dynamic x$1, dc.dynamic n$1, ){ return ((x$1 as dc.int)^(1<<((n$1 as dc.int)&63))); }