How to know the names of saved files. Using LOAD without a name, as stated in the book, does not work...