oose-24-25-observer-race-main