fix require clause
fix accidentally ditched code
shorten timeout for now
fix typos in tests
fix wrong parsing of `->i`
fix test program