711             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
714             os.write_string(2, &v)?;  in write_to_with_cached_sizes()
717             os.write_string(3, &v)?;  in write_to_with_cached_sizes()
756             os.write_string(12, &v)?;  in write_to_with_cached_sizes()
1338             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
1381             os.write_string(10, &v)?;  in write_to_with_cached_sizes()
2589             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
2601             os.write_string(6, &v)?;  in write_to_with_cached_sizes()
2604             os.write_string(2, &v)?;  in write_to_with_cached_sizes()
2607             os.write_string(7, &v)?;  in write_to_with_cached_sizes()
2613             os.write_string(10, &v)?;  in write_to_with_cached_sizes()
3054             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
3391             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
3409             os.write_string(5, &v)?;  in write_to_with_cached_sizes()
3879             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
4155             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
4541             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
4544             os.write_string(2, &v)?;  in write_to_with_cached_sizes()
4547             os.write_string(3, &v)?;  in write_to_with_cached_sizes()
5481             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
5484             os.write_string(8, &v)?;  in write_to_with_cached_sizes()
5499             os.write_string(11, &v)?;  in write_to_with_cached_sizes()
5520             os.write_string(36, &v)?;  in write_to_with_cached_sizes()
5523             os.write_string(37, &v)?;  in write_to_with_cached_sizes()
5526             os.write_string(39, &v)?;  in write_to_with_cached_sizes()
5529             os.write_string(40, &v)?;  in write_to_with_cached_sizes()
5532             os.write_string(41, &v)?;  in write_to_with_cached_sizes()
5535             os.write_string(44, &v)?;  in write_to_with_cached_sizes()
5538             os.write_string(45, &v)?;  in write_to_with_cached_sizes()
8066             os.write_string(3, &v)?;  in write_to_with_cached_sizes()
8081             os.write_string(8, &v)?;  in write_to_with_cached_sizes()
8325             os.write_string(1, &v)?;  in write_to_with_cached_sizes()
8830             os.write_string(3, &v)?;  in write_to_with_cached_sizes()
8833             os.write_string(4, &v)?;  in write_to_with_cached_sizes()
8836             os.write_string(6, &v)?;  in write_to_with_cached_sizes()
9301             os.write_string(2, &v)?;  in write_to_with_cached_sizes()