let
descr =
"Emit alarms for overflows in signed arithmetic. Experimental"