Assume the source code is UTF-8