?? NEWTITLE := 'nft$parameter_11_options' ??

{ nft$parameter_11_options }

  TYPE
    nft$parameter_11_options = record
      case p11_option: nft$parameter_11_values of
      = nfc$p11_status =
        application_status: ost$status,
      = nfc$p11_ring =
        application_ring: ost$ring,
      casend,
    recend;

*copyc osd$virtual_address
*copyc nft$parameter_11_values
*copyc ost$status
?? OLDTITLE ??
