#ifndef FUZZER_H_
#define FUZZER_H_

void increaseFuzzer();

int getNotifyDone();

#endif