lots of work-in-progress examples, and make_unicode.py