DEFOPTIONALEMPTYTYPE
DEFOPTIONALEMPTYTYPE(opt_ptr_seqof_princ_plus_realm,
DEFOPTIONALEMPTYTYPE(opt_ptr_seqof_algorithm_identifier,
DEFOPTIONALEMPTYTYPE(opt_vmacs_ptr, vmacs_ptr);
DEFOPTIONALEMPTYTYPE(opt_ptr_seqof_host_addresses, ptr_seqof_host_addresses);
DEFOPTIONALEMPTYTYPE(opt_auth_data_ptr, auth_data_ptr);
DEFOPTIONALEMPTYTYPE(opt_ptr_seqof_pa_data, ptr_seqof_pa_data);
DEFOPTIONALEMPTYTYPE(opt_ptr_seqof_ticket, ptr_seqof_ticket);