NO

peak

b()
*<-
c()
->*
f(b())

is not joinable