13 Dec
2023
13 Dec
'23
10:58 a.m.
On Wed Dec 13 10:58:29 2023 +0000, Nikolay Sivov wrote:
The comment is changed now.
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"?