Symbol: ct_barrier_empty