On Wed Dec 13 10:58:29 2023 +0000, Giovanni Mascellani wrote:
Mmmh, I don't find it better: "zero-length" and "empty" strings are the same thing for me. Given your explanation, what would you think about "NULLs are emitted as empty strings using the same 4 bytes at the start of the section"?
I don't think it's worth time spent on it, I can remove this comment.