/* Check if we must still flush a (partial) header. If that is the
case, the message has no body, and we must compute a body hash
/* Check if we must still flush a (partial) header. If that is the
case, the message has no body, and we must compute a body hash