cid 10566 edge case: string not null terminated