#ifndef REAL
{
	static int cc = 0, cmax = 0, ot = 0;

	if (rtime != ot) {
		ot = rtime;
		printf("%s %d %d %d\n", STRING, ot, cc, cmax);
		if (cc > cmax) {
			cmax = cc;
		}
		cc = 0;
	}
	++cc;
}
#endif
