ask ask#1 "writer" @5:38 order=0 type="string"
actor actor#1 "writer" @5:22 order=1
ask ask#2 "reader" @21:35 order=2 type="string"
actor actor#2 "reader" @21:19 order=3
fact ask-data ask#2 <- ask#1 exact
fact ask-actor ask#1 <- actor#1 exact
fact ask-actor ask#2 <- actor#2 exact
fact return <- ask#2 exact
region seq#1 seq entered
region call#1 call parent=seq#1 @20:11 entered label="Base"
region call#2 call parent=seq#1 @21:54 entered label="expose"
region call#3 call parent=call#2 @17:12 entered label="reveal"
spawn actor#1 in=seq#1
issue ask#1 in=seq#1 phase=unphased
settle ask#1 in=seq#1
spawn actor#2 in=seq#1
jump return call#3 in=seq#1>call#2>call#3 phase=unphased
jump return call#2 in=seq#1>call#2 phase=unphased
issue ask#2 in=seq#1 phase=unphased
settle ask#2 in=seq#1
jump return seq#1 in=seq#1 phase=unphased
