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:     Result = receive after 42 -> ok end,
      ?assertEqual(ok, Result).
  
  -spec test_receive_after_with_pattern() -> 'result2'.
  
  test_receive_after_with_pattern() ->
      Self = self(),
  
negative.code: test_send_receive_3() ->
      Self = self(),
      Pid = spawn(fun() -> Self ! foo, receive bar -> ok end end),
      receive foo -> Pid ! bar, ok end.
  
  -spec test_receive_after_no_patterns() -> 'ok'.
  
  