Python hundred-kilobyte kernel (HK2) plug-in library.