$y \bmod 2^x$ 可能 $>n$。

$y \bmod 2^x+2^x$ 可能 $>n$。

还有 $y \bmod 2^x=0$ 的边界。

本人因为这三个点 RE 了两个多小时