#include <stdio.h>
#include "pure.h"
void main()
{
printf("PurifyIsRunning() returned %d\n", PurifyIsRunning());
PurePrintf("PurePrintf(): A couple of numbers: %f %d\n", 3.23, 4);
PurifyPrintf("Another number: %d\n", 10);
return;
}
(C) Copyright IBM Corporation 1992, 2010.