src съдържа два вида редове: «горещи» (kind = 'hot') и «студени» (kind = 'cold'). Студените редове трябва да се преместят атомарно в dest — без прозорец за състезание между изтриването от едната и вмъкването в другата. src(id, kind) съдържа четири реда: двойка горещи и двойка студени. dest(id, kind) има същата структура и е празна. С една команда изтрий всички студени редове от src и ги вмъкни направо в dest. След операцията src запазва само горещите редове, а dest получава студените.