Lentelėje src yra dviejų rūšių eilutės: „karštos“ (kind = 'hot') ir „šaltos“ (kind = 'cold'). Šaltas eilutes reikia atomiškai perkelti į dest — be lenktynių lango tarp šalinimo iš vienos ir įterpimo į kitą. src(id, kind) yra keturios eilutės: pora karštų ir pora šaltų. dest(id, kind) turi tą pačią struktūrą ir yra tuščia. Viena komanda pašalink iš src visas šaltas eilutes ir iš karto įterpk jas į dest. Po operacijos src liks tik karštos, o dest atkeliaus šaltos.