for my $page (@pages) {
  &process_page($page);
}