added the FILE * event_file