#include <stdio.h>

int main() {
int fd;
fd = open("/dev/null");
printf("%i\n", read(fd));
printf("%i\n", EOF);
close(fd);
return 0;
}