Symbol: asn1_encode_pa_pk_as_rep