foreach my $key (sort keys %clocks){
  print_clock_assertions(\{ $clocks{$key} });
}