Evaluated proc utf8_demangle args { encoding convertfrom utf-8 [join $args " "] }