// programmer assumes x will get true, y will get false
let t = true in
let f = false in
let k = port in

thread 
 	{send k t} ; 
	let x = {receive k} in skip end
end;

thread  
	{send k f} ;
	let y = {receive k} in skip end
end
end
end
end