lane actor#1 "writer" @8:50 families=loop#1
lane actor#2 "reader" @11:8
region seq#1 seq
region loop#1 loop parent=seq#1 @7:1 bound=2
region branch#1 branch parent=loop#1 @8:31
step ask#1 ask "writer" @8:66 lane=actor#1 region=branch#1 maybe serial
step ask#2 ask "reader" @11:24 lane=actor#2 region=seq#1 always
edge ask#1 -> ask#1 carry maybe
edge ask#1 -> ask#2 data maybe exact
sink ask#2
