-- TODO: write automatic test-suite

main = return ()