pub fn round_kernel(s: Stage, k_next: b64) -> Stage
One SHA-512 round on s, plus the look-ahead p for the next round (whose constant is k_next).
s
p
k_next