get_le32
l = get_le32(key);
r = get_le32(key + 4);
l ^= get_le32(hdr);
l ^= get_le32(&hdr[4]);
l ^= get_le32(&hdr[8]);
l ^= get_le32(&hdr[12]);
l ^= get_le32(data);