src vsebuje dve vrsti vrstic: »vroče« (kind = 'hot') in »hladne« (kind = 'cold'). Hladne vrstice je treba atomarno prestaviti v dest — brez tekmovalnega okna med brisanjem iz ene in vstavljanjem v drugo. src(id, kind) vsebuje štiri vrstice: par vročih in par hladnih. dest(id, kind) ima isto strukturo in je prazna. V enem samem stavku izbriši vse hladne vrstice iz src in jih vstavi naravnost v dest. Po operaciji v src ostanejo samo vroče vrstice, dest pa prejme hladne.