For FUZZ_BUTT.