Slashing tokens on PoS>

When it comes to PoS protocols, there is “slashing” of tokens for dishonest behavior.

The question I cannot figure out is, what happens to the “slashed” tokens (i guess more specifically asking for the plan for ETH PoS)? Are they locked up forever/burned? Are they transferred to another validator? or something else?