Symbol: psi_enqueue