lane actor#1 "spy" @15:16
lane actor#2 "reader" @18:8
region seq#1 seq
step ask#1 ask "spy" @15:29 lane=actor#1 region=seq#1 always
step ask#2 ask "reader" @18:24 lane=actor#2 region=seq#1 always
edge ask#1 -> ask#2 data always inexact
sink ask#2
