my $max_finder = make_max_finder();
    $max_finder->($_) while <>;
    $max_finder->();  # retrieve maximum