Re: [tz] [PROPOSED] Fix C23-related conformance bug