#include <stdio.h>

#ifdef __COVERAGESCANNER__
void memory_failure( int s )
{
    int used = -1;
    int max_used = -1;
    int size = -1;
    __coveragescanner_memory_pool_stat( &size, &used, &max_used );
    printf( "Memory Failure  : Requested:%i Actual Size=%i Actually Used=%i Peak Usage=%i\n", s, size, used, max_used );
    exit( 2 );
}
#endif

int
 main( int argc, char *argv[] )
{
#ifdef __COVERAGESCANNER__
    int used = -1;
    int max_used = -1;
    int size = -1;
    __coveragescanner_memory_pool_stat( &size, &used, &max_used );
    printf( "Memory Pool Usage: Size=%i Used=%i Peak=%i\n", size, used, max_used );
#endif

    return 0 ;
}