. ../../testutils.sh

run HandleSignal.idr
