This might be cleaner if one converted the string to `~[u8]` and just used `.mut_iter()`; rather than pointer dances.