These are all fixed size, and `AddSymbol` does the manual write of `\0` at the end too but you're right, better safe than sorry. My personal preference would be to use std::string but since that's not used in the surrounding code it would stick out like a sore thumb.