another nonstrict end of file test