Symbol: hpke_do_middle