charseq::value[] is never a zero length array, size was in a separate variable already.