let add_binding_unspecified acc loc v =
    add_binding ~with_alarms:warn_none_mode ~exact:true acc loc v