// programmer assumes the send of 1 done before the send of 2
// programmer expects 1 in s at the end
let one = 1 in
let two = 2 in
let k = port in
thread 
 	{send k one} 
end;
thread 
 	{send k two} 
end;

thread 
	let s = {receive k} in skip end
end
end
end
end