Tom Tromey Tue, 08 May 2001 11:03:35 -0700
Shouldn't the prototype for file_contents_internal read `($$%)'? Tom
