#pragma once

#if defined(SANITIZE_COVERAGE)
void dumpCoverage();
#endif