The following code was generated by "src/etc/unicode.py"