add int into the sanitizer