def next
import bend-collections@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
import bend-collections@1.0.0.0/src/crypto/sha512/types.bend as T
79# W[t] from W[t-2], W[t-7], W[t-15], W[t-16].
80def next(+w2: T.Lane, w7: T.Lane, +w15: T.Lane, w16: T.Lane) -> T.Lane:
81 add(add(add(small1(w2), w7), small0(w15)), w16)