This file differs from the Einar original (itself automatically produced by decommenting an obsolete GHC source file, apparently) with nearly all the functions removed.