Symbol: psi_ttwu_dequeue