We had paid “Authorized Leave.” Originally it was 5 days. When I was hired it 3 days. These days were negotiated to replace holidays. They were given up. Holiday pay by another name.

Denny