$total = C\count($jobs);
$done = new Ref(0);
concurrent {
  await Vec\map_async(
    $jobs,
    async $job ==> {
      try {
        return await handle_job_async($job);
      } finally {
        // As `$done` is an object, the changes persist outside of this scope;
        // if `$done` were an integer, `$done++` would only modify a copy of
        // the local within the lambda scope.
        $done->value++;
      }
    },
  );
  await async {
    while($done->value < $total) {
      await \HH\Asio\usleep(1000 * 1000);
      await IO\request_output()->writeAsync(
        Str\format("Progress: %d/%d\n", $done->value, $total)
      );
    }
  };
};