lane actor#1 "a" @10:11
lane actor#2 "reader" @13:8
region seq#1 seq
region fanout#1 fanout parent=seq#1 @11:15 label="map"
step ask#1 ask "a" @11:62 lane=actor#1 region=fanout#1 maybe serial
step ask#2 ask "reader" @13: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
