Function sha256hash 

fn sha256hash(
    abcd: [u32; 4],
    efgh: [u32; 4],
    wk: [u32; 4],
) -> ([u32; 4], [u32; 4])