Python Hundred-Kilobyte Kernel plug-in library