あー、いや、大丈夫か。 2^30 に分岐したら（実際には -2 もあるからもっと少ないけど）ヤバそうと思ったけど、そこは並行じゃないから大丈夫だった。