while (not_the_end_of_the_file(*FOO)) { ... }