Ο src περιέχει δύο ειδών γραμμές: «hot» (kind = 'hot') και «cold» (kind = 'cold'). Οι κρύες γραμμές πρέπει να μεταφερθούν ατομικά στον dest — χωρίς παράθυρο ανταγωνισμού (race window) ανάμεσα στη διαγραφή από τον έναν και την εισαγωγή στον άλλον. Ο src(id, kind) περιέχει τέσσερις γραμμές: ένα ζεύγος hot και ένα ζεύγος cold. Ο dest(id, kind) έχει την ίδια δομή και είναι κενός. Σε μία μόνο εντολή, διαγράψτε όλες τις cold γραμμές από τον src και εισαγάγετέ τες απευθείας στον dest. Μετά την πράξη ο src κρατά μόνο τις hot γραμμές, ενώ ο dest λαμβάνει τις cold.