let option_name = "-val-signed-overflow-alarms"