A new regular expression <<EOF>> matching the end of file.
This feature request was made by Fabien Coelho.