Right now Pointer's getString assumes the input string is nul-terminated, however that's often inconvenient, and requires additional copying and memory management. It would be convenient if getString ...