They designated May1 as International Labour Day to be observed by the workers of all countries.

• 他们把“五一”定为“国际劳动节”，成为各国工人的节日。