What is the effect of using the "strip" command with the files generated by ghc (besides reducing the file size)? -- Andre