pub const aws_date_month_AWS_DATE_MONTH_DECEMBER: aws_date_month = 11;