// programmer assumes the receive to x is done before the one to y
// the program will deadlock
let t = true in
let k = port in
thread {send k t} end;  // t_7
thread let x = {receive k} in {send k t} end end; // t_8
thread let x = {receive k} in skip end  end// t_9
end end