asn1_decode_ticket
get_field(*(val->ticket),5,asn1_decode_ticket);
decode_array_body(krb5_ticket,asn1_decode_ticket);
asn1_error_code asn1_decode_ticket
get_field(*((*rep)->ticket),3,asn1_decode_ticket);