I assume we don't worry about buffer overflow here, because I've seen this idiom used many times in the code.