fn read_string(file: &mut File) -> Option<String>
One length-prefixed utf-8 value, bounded so a corrupt length cannot ask for an allocation nobody has.