[libfuzzer]
max_len = 25600