There's a dump and disassembly of EXPT at http://www.lunar-tokyo.net/~dseagrav/EXPT.txt It's just a dump of WCS when EXPT is loaded.