#include <stdio.h>

typedef int Month;

int main(void)
{
    Month currentMonth = 5;

    if (currentMonth == 5) {
        printf("Happy May!\n");
    }
    return 0;
}