passed tests: fact-2, hello, simple-prog