WAITING_FOR_DESTRUCTOR_SYMBOL
psp->state = WAITING_FOR_DESTRUCTOR_SYMBOL;
case WAITING_FOR_DESTRUCTOR_SYMBOL: