The definitional fact that any sort of counter machine without an unbounded register-"address" register must specify a register "r" by name indicates that the model requires "r" to be "finite", although it is "unbounded" in the sense that the model implies no upper limit to the number of registers necessary to do its job(s).