void put_var_string(string s, int(0..) len_width)
Appends a variable string s preceded with an unsigned integer of the size len_width declaring the length of the string. The string s should be 8 bits wide.