. ../../testutils.sh

run Unlines.idr
