(b) EOF without normalization