21 Oct 00

- Do we want to continue to record the package name in an interface file?
  Does pi_mod have a Module or a ModuleName?