They actually aren't but fortunately the agency itself saved enough money to afford to pay its workers for a couple months during the shutdown. Over time, that money could run out and their pay would stop but in theory they'd be eligible for backpay.