Do we need the terminating `\0` in the string duplicate? `xstrdup` could be replaced with `xmemdup` when
initializing `String` objects.