Symbol: psi_dequeue