Format:
integer= eof (integer_handler);
Return 1, the data pointer has reached the end of data stream with the provided handler, or return 0 otherwise. Will return -1 is the file is not open.
