passed knowledge of implicit returns