spec: eof/2,3