These files are all loaded by Haskore.hs in lib/hugs using HaskoreLoader.hs
 