src indeholder to slags rækker: "hot" (kind = 'hot') og "cold" (kind = 'cold'). Kolde rækker skal flyttes atomisk over i dest — uden et race-vindue mellem sletning fra den ene og indsættelse i den anden. src(id, kind) indeholder fire rækker: et par hot og et par cold. dest(id, kind) har samme struktur og er tom. Slet i én enkelt sætning alle kolde rækker fra src, og indsæt dem direkte i dest. Efter operationen beholder src kun de varme rækker, mens dest modtager de kolde.