Oops. Need to make sure that push, size and remove are performed atomically