We have tried to do this by adding a "null terminated string" type. Start in section 2.4 of the specification (https://github.com/Microsoft/checkedc/releases/do

We have tried to do this by adding a "null terminated string" type. Start in section 2.4 of the specification (https://github.com/Microsoft/checkedc/releases/download/v0.7-final/checkedc-v0.7.pdf https://github.com/Microsoft/checkedc/releases/download/v0.7...).