Common use of Vacation accrued Clause in Contracts

Vacation accrued. but not taken by employees who are laid off will be paid at the time of lay off.

Vacation accrued. but not taken by employees who are laid off will shall be paid at the time of a permanent lay off.