#!/usr/bin/env runidris

import TestMod

main : IO ()
main = TestMod.test