final clarification of disabled UndefinedBehaviorSanitizer checks (nw)