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