let end_of_file : bool ref = ref false