. ../../../testutils.sh

check TwoNum.idr
