RE: ghci unload - profiling