#include <stdio.h>

int main() {
	FILE *f;
	if ((f = fopen("/dev/null", "r")))
		puts("file is open");
	return 0;
}