C; let : bits(32) = get_velem(vd, EGW=128, i); let MessageShedPlusC[3:0] : bits(4*SEW) = get_velem(vd, EGW=128, i); let output : bits(SEW) = h + sum1(e) + ch(e,f,g) + W1; T2 = sum0(a) + maj(a,b,c); h = g; g = f; f = e; e =