Well with a little game over screen, it would have be better... :D
But a lot more bytes for the people who type the listing :) (Don't say that you use the .dsk !)
When I was 16 or 17, entering a long and annoying listing did not afraid me. Now, I prefer dsk file.