Adds 'eof' primitive (Fixes #1)