#include <stdio.h>

int null_get(FILE *stream)
{
	return 0;
};
int null_put(char ch,FILE *stream)
{
	return 0;
};


FILE* dev_null(void)
{
	FILE *devnull = fdevopen(null_put,null_get);
	return devnull;
};