`(implicit codec: scala.io.Codec): String`