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