Symbol: hpke_seqnonce2buf