junk-library for xyzzy