Again, replace `erlang yield' with `receive after'