The solution in a nutshell: Design our machine/model with unbounded indirectionprovide an "unbounded" "address" register that can potentially name (call out) any register no matter how many there are.