Commit 5710bfec81e388e02ebbc601b66888db436bc9bc

Martin Mitas 2018-06-11T14:13:28

Fix/simplify handling of end-of-file special mark. Fixes #43.