Hell yeah, we got the first (of four) hit! So relieved this is working.
It's the easiest to find case: a double rejection which has probability (2^-16 + 2^-16)² = 2^-30.
We should see a handful of these before we hit the other two ~2^-31 cases and the (2^-16)² = 2^-32 case.