object StringDump{
  implicit def enrichString(str: String) = new {
    def dump:String={
      str.getBytes("UTF-8").map{ _.asInstanceOf[Char] match{
        case '"' => "\\\""
        case '\\' => "\\\""
        case n if ' ' <= n && n <= '~' => new java.lang.Character(n)
        case n => "\\%03o" format (n&0xff)
      }}.mkString("\"","","\"")
    }
  }
  def main(args: Array[String])={
    println(args(0).dump)
  }
}