#include "stdio.h"
#include <stdlib.h>

int
main(int argc, char **argv)
{
	size_t i, j, k;
	volatile int a;

	for (i = 0; i < 1000; i++) {
		for (j = 0; j < 1000; j++) {
			for (k = 0; k < 1000; k++) {
				a = fileno(stdout);
				if (a == -1)
					return EXIT_FAILURE;
			}
		}
	}

	return EXIT_SUCCESS;
}