BEGIN {
  my @month_names = qw(Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec);
  sub month_name_for {
    my $number = shift;
    die if $number < 0 or $number > $#month_names or $number != int($number);
    $month_names[$number];
  }
}