#include <stdio.h>
#include <stdlib.h>

extern void print_month_name (int i);

int main () { print_month_name (3); return EXIT_SUCCESS; }