lane actor#1 "gate" @6:15
lane actor#2 "worker" @7:9 families=loop#1
region seq#1 seq
region loop#1 loop parent=seq#1 @6:1
step ask#1 ask "gate" @6:29 lane=actor#1 region=seq#1 always
step ask#2 ask "worker" @7:25 lane=actor#2 region=loop#1 maybe serial
edge ask#1 -> ask#2 control maybe
edge ask#2 -> ask#2 carry maybe
