Miscellaneous small (single-file) libraries.
