Symbol: p_barrier