Ambient writes stay out of out (see withAccess), so a part that only maybe runs marks its writes as maybe in target here.
out
target
Ambient writes stay out of
out(see withAccess), so a part that only maybe runs marks its writes as maybe intargethere.