EOF[space] -> EOF