#include <stdio.h>

int main(void) {

	FILE *f;

	f = fopen("/dev/console","w");
	fprintf(f,"hello penguin world\n");
	fclose(f);

	return 0;

}