src obsahuje dva druhy riadkov: "horúce" (kind = 'hot') a "studené" (kind = 'cold'). Studené riadky musia byť atomicky presunuté do dest — bez race okna medzi vymazaním z jednej a vložením do druhej. src(id, kind) obsahuje štyri riadky: pár horúcich a pár studených. dest(id, kind) má rovnakú štruktúru a je prázdna. Jediným príkazom vymažte všetky studené riadky z src a vložte ich rovno do dest. Po operácii si src ponechá len horúce riadky, zatiaľ čo dest dostane studené.