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