anchor.diff:      Result = receive _Any -> result1 after 42 -> result2 end,
       ?assertEqual(result2, Result).
   
  --spec test_after_clause_preemption() -> 'result3'.
  +-spec test_after_clause_preemption() -> 'ok'.
   
   test_after_clause_preemption() ->
       Self = self(),
  
positive.code: test_send_receive_3() ->
      Self = self(),
      Pid = spawn(fun() -> Self ! foo, receive bar -> ok end end),
      receive foo -> Pid ! bar end.
  
  -spec test_receive_after_no_patterns() -> 'ok'.
  
  
negative.code:     Pid = spawn(fun() -> ok end),
      Pid ! foo,
      ok.
  
  -spec test_send_2() -> 'ok'.
  
  test_send_2() ->
      Pid = spawn(fun() -> ok end),
  