These compiled extensions were generated by critcl.
See http://mini.net/sdarchive/ - look for the CriTcl module.
-jcw, 18-4-2002