set additional_flags "-fwrapv"
return 0