///|
fn encode_label_values(values : Array[String]) -> String {
  let output = StringBuilder()
  for value in values {
    output.write_string("\{value.length()}:")
    output.write_string(value)
  }
  output.to_string()
}