src contiene due tipi di righe: "calde" (kind = 'hot') e "fredde" (kind = 'cold'). Le righe fredde devono essere spostate in modo atomico in dest — senza finestra di race tra l'eliminazione da una e l'inserimento nell'altra. src(id, kind) contiene quattro righe: una coppia di calde e una coppia di fredde. dest(id, kind) ha la stessa struttura ed è vuota. In un'unica istruzione, elimina tutte le righe fredde da src e inseriscile direttamente in dest. Dopo l'operazione src mantiene solo le righe calde, mentre dest riceve quelle fredde.