ossl_quic_pn_max
= ossl_quic_pn_max(ackm->largest_acked_pkt[pkt_space],
: ossl_quic_pn_max(highest, r.end);