#include <sys/types.h>
#include <stdio.h>
#include <stdlib.h>
#include <minix/gcov.h>
void __gcov_flush(void)
{
/* A version of __gcov_flush for cases in which no gcc -lgcov
* is given; i.e. non-gcc or gcc without active gcov.
*/
;
}