for (1 .. ($time_since_last_turn / 300)) {
  process_turn($player);
}