def decode
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512import Base
177def decode(a: U32, b: U32, c: U32, d: U32) -> U32:
178 U32.or(U32.or(U32.or(U32.shln(U32.and(a, 255), 24n),
179 U32.shln(U32.and(b, 255), 16n)), U32.shln(U32.and(c, 255), 8n)), U32.and(d, 255))