removed write_barrier from push/pop