This makes it an error for the same file to be load()ed multiple times without require.pl being used after the first time.
