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

check TestProto.idr
#check MakeChans.idr
