How is there an ABA problem here?