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