why not just change the file encoding, and do `<<"こんにちは"/utf8>>`?