le128_add
le128_add(&rbuf.bignum, &rbuf.bignum, &header_hash);
le128_add(&rbuf.bignum, &rbuf.bignum, &msg_hash);