Use a different symbol for return.

Now the source file is encoded in UTF-16 (little endian),
to accommodate for the new Unicode symbols.