lane actor#1 "s" @8:17
lane actor#2 "worker" @10:9 families=loop#1
region seq#1 seq
region loop#1 loop parent=seq#1 @9:1
step ask#1 ask "s" @8:28 lane=actor#1 region=seq#1 always
step ask#2 ask "worker" @10:25 lane=actor#2 region=loop#1 maybe serial
edge ask#1 -> ask#2 data maybe exact
edge ask#2 -> ask#2 carry maybe
