+ ; (P, K) when P == Pid4 ->
+ Dict =
+ [ {'$initial_call', {baz_otp_mod, baz_otp_fun, 2}}
+ , {'$ancestors' , [Pid0, Pid1]}
+ ],
+ case K
+ of dictionary -> {K, Dict}
+ ; initial_call -> {K, {baz_mod, baz_fun, 3}}
+ ; registered_name -> []
+ ; status -> {K, waiting}
+ ; memory -> {K, 5}
+ ; total_heap_size -> {K, 10}
+ ; stack_size -> {K, 15}
+ ; message_queue_len -> {K, 0}
+ end