1/1: Building HandleManySignals (HandleManySignals.idr)
Main> before
after
done.
Main> 
Bye for now!
