analyze which bits are affected by tunnel */ copy Q to Q2, change tunnel, recompute Q, call this function */

verify all Q-conditions and M-bitrelations !including! tunnel Q-conditions and M-bitrelations don't use after changing any tunnel

assumes entire warp calls this function with identical warp_to_write_mask returns per-thread idx to write to

Random generator with perdiod (2^32 - 1)*2^32 **********/

Random generator with perdiod (2^96 - 1)*2^32 **********/