Same test (multi-line comment properly ended followed by an EOF) but
with less characters.