#include "coverage.h" int main(void) { while (1) { RunCoverageDemo(); } return 0; } int background(void) /* Job for background demo */ { static long int bcnt1, bcnt2; bcnt1 = bcnt2 = 0; while (1) { bcnt1 = 100000; while (bcnt1>0) bcnt1--; bcnt2++; } return 0; }