PMC:149366 / 711-722 JSONTXT

{"project":"craft-sa-dev","denotations":[{"id":"T308","span":{"begin":3,"end":7},"obj":"JJ"}],"text":"in null mut"}

{"project":"craft-ca-core-ex-dev","denotations":[{"id":"T142","span":{"begin":3,"end":7},"obj":"SO_EXT:sequence_nullness"}],"text":"in null mut"}