Function write_str 

pub fn write_str(s: &str, out: &mut Vec<u8>)

A length-prefixed UTF-8 string, UNtagged (used for inductive type_name/constructor).