Suppose I have the string "π" which is encoded using UTF-8 as the byte sequence [0xCF, 0x80]. This is serialized as a length-prefixed string, but the length is given in terms of characters or code points, rather than bytes. So instead of a length of 2 bytes, it is written with a length of 1 character.
How is this expressed in construct?