fn sha1_first_half(abcd: [u32; 4], msg: [u32; 4]) -> [u32; 4]