Thus the "y" register must be unbounded -- it must be able to "hold" a number of arbitrary size.
所以 "y" 寄存器必须是无界的 -- 它必须能够持有任意大小的数。