Dia internacional do trabalho, do trabalho!

No dia internacional do trabalho, 1 de Maio, no Brasil é feriado. Em diversos outros países do mundo também, embora noutros se comemore a data e não seja feriado.