Function lanes4_of 

pub fn lanes4_of(a: Word32, b: Word32, c: Word32, d: Word32) -> Lanes4Word32

Pack four Word32s straight into a SHA-1 lane register — compiled lanes4Of(a, b, c, d). The alloc-free constructor (no Seq, no heap): the Logos SHA-1 packs a lane this way every round.