We should probably make (string-set! str n #\null) unspecified.
No, we should not! C does strings by convention, but every more recent language I know of, even C++, has a string data type that can handle any character.
In particular, there is no need for this, because we already license implementations to forbid particular characters in strings.
The WG decided to reject this proposal.