BEGINNER: converting integer to short month name?

[Matt Gerrans]

>     [ 'Dec','Jan','Feb','Mar', ... ] [ the_month ]
>
> or
>
>     import calendar
>     calendar.month_abbr[ the_month ]

Looks like it would be
   calendar.month_abbr[ the_month + 1 ]

Interestingly, calendar.month_abbr[ 0 ] is 'Saturday'.   Hmm...