[sanitizer] Add a sanity check.