>  In "require" you can perhaps store the name of the file previously loaded,
>  this to avoid to extract twice the same file.
> 
Okay, just look in $"