src bevat twee soorten rijen: "hot" (kind = 'hot') en "cold" (kind = 'cold'). Koude rijen moeten atomair worden verplaatst naar dest — zonder race-venster tussen het verwijderen uit de ene en het invoegen in de andere. src(id, kind) bevat vier rijen: een paar hot en een paar cold. dest(id, kind) heeft dezelfde structuur en is leeg. Verwijder in één statement alle koude rijen uit src en voeg ze rechtstreeks in dest in. Na de bewerking houdt src alleen hot-rijen over, terwijl dest de cold-rijen ontvangt.