NOTE: the libFuzzer interface is thin and in the majority of cases all you need is to define the procedure testOneInput in your file.
NOTE: the libFuzzer interface is thin and in the majority of cases all you need is to define the procedure testOneInput in your file.