let
fold_file_lines func init filename =
with_file_in_bin filename (fold_channel_lines func init)