Trap all mistakes if input is non-positive integer
Merge branch 'master' of https://github.com/WheatonCS/Lexos