If your design just calls for a pointer to memory, and your design leaves the size of a pointer, and the size of memory to the implementer, then both the size o

If your design just calls for a pointer to memory, and your design leaves the size of a pointer, and the size of memory to the implementer, then both the size of memory, and the size of a pointer can grow without bound, like a Turning machine tape. Again, if a input language is Turing complete, then the langugage is Turing complete.