#include <stdio.h>
int null_get(FILE *stream)
{
return 0;
};
int null_put(char ch,FILE *stream)
FILE* dev_null(void)
FILE *devnull = fdevopen(null_put,null_get);
return devnull;