Internet-Draft | YANG Node Tags | July 2023 |
Wu, et al. | Expires 9 January 2024 | [Page] |
This document defines a method to tag nodes that are associated with the operation and management data in YANG modules. This method for tagging YANG nodes is meant to be used for classifying either data nodes or instances of data nodes from different YANG modules and identifying their characteristic data. Tags may be registered as well as assigned during the definition of the module, assigned by implementations, or dynamically defined and set by users.¶
This document also provides guidance to future YANG data model writers; as such, this document updates RFC 8407.¶
This Internet-Draft is submitted in full conformance with the provisions of BCP 78 and BCP 79.¶
Internet-Drafts are working documents of the Internet Engineering Task Force (IETF). Note that other groups may also distribute working documents as Internet-Drafts. The list of current Internet-Drafts is at https://datatracker.ietf.org/drafts/current/.¶
Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as "work in progress."¶
This Internet-Draft will expire on 9 January 2024.¶
Copyright (c) 2023 IETF Trust and the persons identified as the document authors. All rights reserved.¶
This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents (https://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Revised BSD License text as described in Section 4.e of the Trust Legal Provisions and are provided without warranty as described in the Revised BSD License.¶
The use of tags for classification and organization purposes is widespread, not only within IETF protocols, but globally in the Internet (e.g., "#hashtags"). For the specific case of YANG data models, a module tag has already been defined as a string that is associated with a module name at the module level [RFC8819]for YANG modules classification.¶
Many data models have been specified by various Standards Developing Organizations (SDOs) and the Open Source community, and it is likely that many more will be specified. These models cover many of the networking protocols and techniques. However, data nodes defined by these technology-specific data models might represent only a portion of fault, configuration, accounting, performance, and security (FCAPS) management information ([FCAPS]) at different levels and network locations, but also categorized in various different ways. Furthermore, there is no consistent classification criteria or representations for a specific service, feature, or data source.¶
This document defines tags for both nodes in the schema tree and instance nodes in the data tree, and shows how these tags can be associated with nodes within a YANG module, to:¶
To that aim, this document defines a YANG module [RFC7950] that augments the YANG Module Tags ([RFC8819]) to provide a list of node entries to which add node tags or from which to remove node tags, as well as a way to view the set of node tags associated with specific data nodes or instance of data nodes within YANG modules.This new module is: "ietf-node-tags" (Section 7).¶
Typically, NETCONF clients can discover node tags supported by a NETCONF server by means of the <get-data> operation on the operational datastore (Section 3.1 of [RFC8526]) via the "ietf-node-tags" module. Alternatively, <get-schema> operation [RFC6022] can be used to retrieve tags for nodes in the schema tree in any data module. These node tags can be used by a NETCONF [RFC6241] or RESTCONF [RFC8040] client to classify either data nodes or instance of these data nodes from different YANG modules and identify characteristic data and associated path to the nodes or node instances. Therefore, the NETCONF/ RESTCONF client can query specific configuration or operational state on a server corresponding to characteristic data.¶
Similar to YANG module tags defined in [RFC8819], these node tags (e.g., tags for node in the schema node) may be registered or assigned during the module definition, assigned (e.g., tags for nodes in the data tree) by implementations, or dynamically defined and set by users. The contents of node tags from the operational state view are constructed using the following steps:¶
This document defines an extension statement to indicate tags for data nodes. YANG metadata annotations are also defined in [RFC7952] as a YANG extension. The values of YANG metadata annotation are attached to a given data node instance and decided and assigned by the server and sent to the client (e.g., the origin value indicates to the client the origin of a particular data node instance) while tags for data node in the schema tree defined in Section 6 are retrieved centrally via the "ietf-node-tags" module and can be either assigned during the module defintion time or dynamically set by the client for a given data node instance.¶
This document also defines an IANA registry for tag prefixes and a set of globally assigned tags (Section 9).¶
Section 8 provides guidelines for authors of YANG data models. This document updates [RFC8407].¶
The YANG data model in this document conforms to the Network Management Datastore Architecture defined in [RFC8342].¶
The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 [RFC2119][RFC8174] when, and only when, they appear in all capitals, as shown here.¶
The following terms are defined in [RFC7950] and are not redefined here:¶
This document defines the following term:¶
The meanings of the symbols in tree diagrams are defined in [RFC8340].¶
The following describes some use cases to illustrate the use of node tags. This section does not intend to be exhaustive.¶
An example of the use of tags is to search discrete categories of YANG nodes that are scattered across the same or different YANG modules supported by a device. For example, if instances of these nodes in YANG modules are adequately tagged and set by a first client ("Client A") via the "ietf-node-tags" module (Section 7) and retrieved by another client ("Client B") from the operational datastore, then "Client B" can obtain the path to the tagged nodes and subscribe only to network performance related data node instances in the operational datastore supported by a device.¶
"Client B" can also subscribe to updates from the operational datastore using the "ietf-node-tags" module. Any tag changes in the updates will then resynchronize to the "Client B".¶
Also, tag classification is useful for users searching data node repositories. A query restricted to the "ietf:counter" data node tag in the "ietf-node-tags" module can be used to return only the YANG nodes that are associated with the counter. Without tags, a user would need to know the name of all the IETF YANG data nodes or instances of data nodes in different YANG modules.¶
Future management protocol extensions could allow for filtering queries of configuration or operational state on a server based on tags (for example, return all operational state related to system management).¶
All node tags (except in some cases of user tags as described in Section 4.3) begin with a prefix indicating who owns their definition. All tag prefixes MUST end with a colon and Colons MUST NOT be used within a prefix. An IANA registry (Section 9.1) is used to register node tag prefixes. Three prefixes are defined in the subsections that follow.¶
No further structure is imposed by this document on the value following the registered prefix, and the value can contain any YANG type 'string' characters except carriage returns, newlines, tabs, and spaces.¶
Except for the conflict-avoiding prefix, this document is purposefully not specifying any structure on (i.e., restricting) the tag values. The intent is to avoid arbitrarily restricting the values that designers, implementers, and users can use. As a result of this choice, designers, implementers, and users are free to add or not add any structure they may require to their own tag values.¶
An IETF tag is a node tag that has the prefix "ietf:".¶
All IETF node tags are registered with IANA in the registry defined in Section 9.2. These IETF Node Tags MUST conform to Net-Unicode as defined in [RFC5198], and SHOULD not need normalization.¶
A vendor tag is a tag that has the prefix "vendor:".¶
These tags are defined by the vendor that implements the module, and are not registered with IANA. However, it is RECOMMENDED that the vendor includes extra identification in the tag to avoid collisions, such as using the enterprise or organization name following the "vendor:" prefix (e.g., vendor:entno:vendor-defined-classifier) [RFC9371].¶
User tags are defined by a user/administrator and are not registered by IANA.¶
Any tag with the prefix "user:" is a user tag. Furthermore, any tag that does not contain a colon (":", i.e., has no prefix) is also a user tag.¶
Users are not required to use the "user:" prefix; however, doing so is RECOMMENDED.¶
Section 9.1 describes the IANA registry of tag prefixes. Any prefix not included in that registry is reserved for future use, but tags starting with such a prefix are still valid tags.¶
Therefore an implementation SHOULD be able to process all tags regardless of their prefixes.¶
Tags may be associated with a data node within a YANG module in a number of ways. Typically, tags may be defined and associated at the module design time, at implementation time without the need of a live server, or via user administrative control. As the main consumers of node tags are users, users may also remove any tag from a live server, no matter how the tag became associated with a data node within a YANG module.¶
A data node definition MAY indicate a set of node tags to be added by a module's implementer. These design time tags are indicated using 'node-tag' extension statement.¶
If the data node is defined in an IETF Standards Track document, node tags MUST be IETF Tags (Section 4.1). Thus, new data nodes can drive the addition of new IETF tags to the IANA registry defined in Section 9.2, and the IANA registry can serve as a check against duplication.¶
An implementation that wishes to define additional tags to associate with data nodes within a YANG module MAY do so at implementation time. These tags SHOULD be IETF (i.e., registered)), but MAY be vendor tags. IETF tags allows better interoperability than vendor tags.¶
Node tags that are dynamically defined, with or without a prefix, can be added by the user from a server using normal configuration mechanisms.¶
In order to remove a node tag from the operational datastore, the user adds a matching "masked-tag" entry for a given node within the 'ietf-node-tags' module.¶
The tree associated with the "ietf-node-tags" module is shown as figure 1:¶
The "ietf-node-tags" module imports types from [RFC8819] and [RFC8341].¶
<CODE BEGINS> file "ietf-node-tags@2022-02-04.yang" module ietf-node-tags { yang-version 1.1; namespace "urn:ietf:params:xml:ns:yang:ietf-node-tags"; prefix ntags; import ietf-netconf-acm { prefix nacm; reference "RFC 8341: Network Configuration Access Control Model"; } import ietf-module-tags { prefix tags; reference "RFC 8819: YANG Module Tags"; } organization "IETF NetMod Working Group (NetMod)"; contact "WG Web: <https://datatracker.ietf.org/wg/netmod/> WG List: <mailto:netmod@ietf.org> Editor: Qin Wu <mailto:bill.wu@huawei.com> Editor: Benoit Claise <mailto:benoit.claise@huawei.com> Editor: Mohamed Boucadair <mailto:mohamed.boucadair@orange.com> Editor: Peng Liu <mailto:liupengyjy@chinamobile.com> Editor: Zongpeng Du <mailto:duzongpeng@chinamobile.com>"; // RFC Ed.: replace XXXX with actual RFC number and // remove this note. description "This module describes a mechanism associating tags with YANG node within YANG modules. Tags may be IANA assigned or privately defined. Copyright (c) 2022 IETF Trust and the persons identified as authors of the code. All rights reserved. Redistribution and use in source and binary forms, with or without modification, is permitted pursuant to, and subject to the license terms contained in, the Revised BSD License set forth in Section 4.c of the IETF Trust's Legal Provisions Relating to IETF Documents (https://trustee.ietf.org/license-info). This version of this YANG module is part of RFC XXXX (https://datatracker.ietf.org/html/rfcXXXX); see the RFC itself for full legal notices."; // RFC Ed.: Update the date below with the date of RFC // publication and RFC number and remove this note. revision 2022-02-04 { description "Initial revision."; reference "RFC XXXX: Node Tags in YANG Modules"; } extension node-tag { argument tag; description "The argument 'tag' is of type 'tag'. This extension statement is used by module authors to indicate node tags that should be added automatically by the system. As such, the origin of the value for the pre-defined tags should be set to 'system'."; } augment "/tags:module-tags/tags:module" { description "Augment the Module Tags module with node tag attributes."; container node-tags { description "Contains the list of nodes or node instances and their associated node tags."; list node { key "id"; description "Includes a list of nodes and their associated node tags."; leaf id { type uint64; description "Identification of each data node within YANG module. It is unique 64-bit unsigned integers."; } leaf node-selector { type nacm:node-instance-identifier; description "Selects the data nodes for which tags are specified."; } leaf-list tags { type tags:tag; description "Lists the tags associated with the node within the YANG module. See the IANA 'YANG Node Tag Prefixes' registry for reserved prefixes and the IANA 'IETF YANG Data Node Tags' registry for IETF tags. The 'operational' state view of this list is constructed using the following steps: 1) System tags (i.e., tags of 'system' origin) are added. 2) User configured tags (i.e., tags of 'intended' origin) are added. 3) Any tag that is equal to a masked-tag is removed."; reference "RFC XXXX: node Tags in YANG Data Modules, Section 9"; } leaf-list masked-tag { type tags:tag; description "The list of tags that should not be associated with the node within the YANG module. The user can remove (mask) tags from the operational state datastore by adding them to this list. It is not an error to add tags to this list that are not associated with the data node within YANG module, but they have no operational effect."; } } } } } <CODE ENDS>¶
This section updates [RFC8407] by providing text that may be regarded as a new subsection to Section 4 of that document. It does not change anything already present in [RFC8407].¶
A module MAY indicate, using node tag extension statements, a set of node tags that are to be automatically associated with nodes within the module (i.e., not added through configuration).¶
module example-module-A { //... import ietf-node-tags { prefix ntags; } container top { list X { leaf foo { ntags:node-tag "ietf:metric"; } leaf bar { ntags:node-tag "ietf:info"; } } } // ... }¶
The module writer can use existing standard node tags, or use new node tags defined in the data node definition, as appropriate.¶
For IETF standardized modules, new node tags MUST be assigned in the IANA registry defined in section 9.2 of RFC xxxx.¶
A data node can contain one or multiple node tags. Not all data nodes need to be tagged. A data node to be tagged with an initial value from Table 2 can be one of 'container', 'leaf-list', 'list', or 'leaf'. The 'container','leaf-list','list', or 'leaf' node not representing a snapshot of the current state for a set of data MUST not be tagged. The notification and action nodes MUST not be tagged.¶
All tag values described in Table 2 can be inherited down the containment hierarchy if the data nodes tagged with those tag values is one of 'container', 'leaf-list', or 'list'.¶
This document requests IANA to create "YANG Node Tag Prefixes" subregistry in "YANG Node Tag" registry.¶
Prefix entries in this registry should be short strings consisting of lowercase ASCII alpha-numeric characters and a final ":" character.¶
The allocation policy for this registry is Specification Required [RFC8126].¶
The Reference and Assignee values should be sufficient to identify and contact the organization that has been allocated the prefix.¶
There is no specific guidance for the Designated Expert and there is a presumption that a code point should be granted unless there is a compelling reason to the contrary. The initial values for this registry are as follows:¶
Other standards organizations (SDOs) wishing to allocate their own set of tags should request the allocation of a prefix from this registry.¶
This document requests IANA to create "IETF Node Tags" subregistry in "YANG Node Tag" registry. This subregistry appears below "YANG Node Tag Prefixes" registry.¶
This subregistry allocates tags that have the registered prefix "ietf:". New values should be well considered and not achievable through a combination of already existing IETF tags.¶
The allocation policy for this subregistry is IETF Review with Expert Review[RFC8126]. The Designated Expert is expected to verify that IANA assigned tags conform to Net-Unicode as defined in [RFC5198], and shall not need normalization.¶
The initial values for this subregistry are as follows:¶
This document registers the following namespace URIs in the "ns" subregistry within the "IETF XML Registry" [RFC3688]:¶
URI: urn:ietf:params:xml:ns:yang:ietf-node-tags Registrant Contact: The IESG. XML: N/A; the requested URI is an XML namespace. URI: urn:ietf:params:xml:ns:yang:ietf-node-tags-state Registrant Contact: The IESG. XML: N/A; the requested URI is an XML namespace.¶
This document registers the following two YANG modules in the YANG Module Names registry [RFC6020] within the "YANG Parameters" registry:¶
name: ietf-node-tags namespace: urn:ietf:params:xml:ns:yang:ietf-node-tags prefix: ntags reference: RFC XXXX name: ietf-node-tags-state namespace: urn:ietf:params:xml:ns:yang:ietf-node-tags-state prefix: ntags-s reference: RFC XXXX¶
The YANG module specified in this document defines schema for data that is designed to be accessed via network management protocols such as NETCONF [RFC6241] or RESTCONF [RFC8040]. The lowest NETCONF layer is the secure transport layer, and the mandatory-to-implement secure transport is Secure Shell (SSH) [RFC6242]. The lowest RESTCONF layer is HTTPS, and the mandatory-to-implement secure transport is TLS [RFC8446].¶
The Network Configuration Access Control Model (NACM) [RFC8341] provides the means to restrict access for particular NETCONF or RESTCONF users to a preconfigured subset of all available NETCONF or RESTCONF protocol operations and content, e.g., the presence of tags may reveal information about the way in which data nodes or node instances are used and therefore providing access to private information or revealing an attack vector should be restricted. Note that appropriate privilege and security levels need to be applied to the addition and removal of user tags to ensure that a user receives the correct data.¶
This document adds the ability to associate node tag with data nodes or instances of data nodes within the YANG modules. This document does not define any actions based on these associations, and none are yet defined, and therefore it does not by itself introduce any new security considerations.¶
Users of the node tag meta-data may define various actions to be taken based on the node tag meta-data. These actions and their definitions are outside the scope of this document. Users will need to consider the security implications of any actions they choose to define, including the potential for a tag to get 'masked' by another user.¶
The authors would like to thank Ran Tao for his major contributions to the initial modeling and use cases.¶
The authors would also like to acknowledge the comments and suggestions received from Juergen Schoenwaelder, Andy Bierman, Lou Berger, Jaehoon Paul Jeong, Wei Wang, Yuan Zhang, Ander Liu, YingZhen Qu, Boyuan Yan, Adrian Farrel, and Mahesh Jethanandani.¶
Liang Geng Individual 32 Xuanwumen West St, Xicheng District Beijing 10053¶
In the example shown in the following figure,the 'tunnel-svc' data node is a list node defined in a 'example-tunnel-pm' module and has 7 child nodes: 'name','create-time','modified-time','average-latency','packet-loss','min-latency','max-latency' leaf node. In these child nodes, the 'name' leaf node is the key leaf for the 'tunnel-svc' list. Following is the tree diagram [RFC8340] for the "example-tunnel-pm" module:¶
module: example-tunnel-pm +--rw tunnel-svc* [name] | +--rw name string | +--ro create-time yang:date-and-time | +--ro modified-time yang:date-and-time | +--ro average-latency yang:gauge64 | +--ro packet-loss yang:counter64 | +--ro min-latency yang:gauge64 | +--ro max-latency yang:gauge64¶
To help identify specific data for a customer, users tags on specific instances of the data nodes [RFC9195][RFC9196] are created as follows:¶
<rpc message-id="103" xmlns="urn:ietf:params:xml:ns:netconf:base:1.0"> <edit-data xmlns="urn:ietf:params:xml:ns:yang:ietf-netconf-nmda" xmlns:ds="urn:ietf:params:xml:ns:yang:ietf-datastores"> <datastore>ds:running</datastore> <config> <module-tag> <module> <name>example-tunnel-pm</name> <node-tags xmlns="urn:ietf:params:xml:ns:yang:ietf-node-tags"> <node> <id>1743</id> <node-selector>/tp:tunnel-svc[name='foo']/tp:packet-loss /</name> <tag>user:customer1_example_com</tag> <tag>user:critical</tag> </node> <node> <id>1744</id> <node-selector>/tp:tunnel-svc[name='bar']/tp:modified-time /</node-selctor> <tag>user:customer2_example_com</tag> </node> </node-tags> </module> </module-tag> </config> </edit-data> </rpc>¶
Note that the 'user:critical' tag is one addtional new tag value.¶
The following is a NETCONF example result from a query of node tags list. For the sake of brevity only a few module and associated data node results are provided. The example uses the folding defined in [RFC8792].¶
As per [RFC8407], the following is a non-NMDA module to support viewing the operational state for non-NMDA compliant servers.¶
<CODE BEGINS> file "ietf-node-tags-state@2022-02-03.yang" module ietf-node-tags-state { yang-version 1.1; namespace "urn:ietf:params:xml:ns:yang:ietf-node-tags-state"; prefix ntags-s; import ietf-netconf-acm { prefix nacm; reference "RFC 8341: Network Configuration Access Control Model"; } import ietf-module-tags { prefix tags; } import ietf-module-tags-state { prefix tags-s; reference "RFC 8819: YANG Module Tags "; } organization "IETF NetMod Working Group (NetMod)"; contact "WG Web: <https://datatracker.ietf.org/wg/netmod/> WG List:<mailto:netmod@ietf.org> Editor: Qin Wu <mailto:bill.wu@huawei.com> Editor: Benoit Claise <mailto:benoit.claise@huawei.com> Editor: Mohamed Boucadair <mailto:mohamed.boucadair@orange.com> Editor: Peng Liu <mailto:liupengyjy@chinamobile.com> Editor: Zongpeng Du <mailto:duzongpeng@chinamobile.com>"; // RFC Ed.: replace XXXX with actual RFC number and // remove this note. description "This module describes a mechanism associating data node tags with YANG data node within YANG modules. Tags may be IANA assigned or privately defined. Copyright (c) 2022 IETF Trust and the persons identified as authors of the code. All rights reserved. Redistribution and use in source and binary forms, with or without modification, is permitted pursuant to, and subject to the license terms contained in, the Simplified BSD License set forth in Section 4.c of the IETF Trust's Legal Provisions Relating to IETF Documents (https://trustee.ietf.org/license-info). This version of this YANG module is part of RFC XXXX (https://datatracker.ietf.org/html/rfcXXXX); see the RFC itself for full legal notices."; // RFC Ed.: update the date below with the date of RFC publication // and RFC number and remove this note. revision 2022-02-04 { description "Initial revision."; reference "RFC XXXX: Node Tags in YANG Data Modules"; } augment "/tags-s:module-tags-state/tags-s:module" { description "Augments the Module Tags module with node tag attributes."; container node-tags { config false; status deprecated; description "Contains the list of data nodes and their associated self describing tags."; list node { key "id"; status deprecated; description "Lists the data nodes and their associated self describing tags."; leaf id { type uint64; description "Identification of each data node within YANG module. It is unique 64-bit unsigned integers."; } leaf node-selctor { type nacm:node-instance-identifier; mandatory true; status deprecated; description "Selects the data nodes for which tags are specified."; } leaf-list tags { type tags:tag; status deprecated; description "Lists the tags associated with the data node within the YANG module. See the IANA 'YANG Node Tag Prefixes' registry for reserved prefixes and the IANA 'IETF YANG Data Node Tags' registry for IETF tags. The 'operational' state view of this list is constructed using the following steps: 1) System tags (i.e., tags of 'system' origin) are added. 2) User configured tags (i.e., tags of 'intended' origin) are added. 3) Any tag that is equal to a masked-tag is removed."; reference "RFC XXXX: Node Tags in YANG Data Modules, Section 9"; } leaf-list masked-tag { type tags:tag; status deprecated; description "The list of tags that should not be associated with the data node within the YANG module. The user can remove (mask) tags from the operational state datastore by adding them to this list. It is not an error to add tags to this list that are not associated with the data node within YANG module, but they have no operational effect."; } } } } } <CODE ENDS>¶
The following provides tagged data node Fetching example. The subscription "id" values of 22 used below is just an example. In production, the actual values of "id" might not be small integers.¶
+-----------+ +-----------+ | Subscriber| | Publisher | +-----+-----+ +-----+-----+ | | | Node Tagging Fetching | | (id, node-tag = metric) | |<-----------------------------------+ | | | establish-subscription | +----------------------------------->| | | | RPC Reply: OK, id = 22 | |<-----------------------------------+ | | | Notification Message (for 22) | |<-----------------------------------+ | |¶
The subscriber can query node tag list from operational datastore in the network device using "ietf-node-tags" module defined in this document and fetch tagged data node instances and associated data path to the datastore node. The node tag information instruct the receiver to subscribe tagged data node (e.g., performance metric data nodes) using standard subscribed notification mechanism [RFC8639] [RFC8641].¶
With node tag information returned,e.g., in the 'get-data' operation, the subscriber identifies tagged data node and associated data path to the datastore node and sends a standard establish-subscription RPC [RFC8639]and [RFC8641] to subscribe tagged data nodes that are interests to the client application from the publisher. The publisher returns specific data node types of operational state (e.g., in-errors statistics data) subscribed by the client as follows:¶
=============== NOTE: '\' line wrapping per RFC 8792 ================ <netconf:rpc message-id="101" xmlns:netconf="urn:ietf:params:xml:ns:netconf:base:1.0"> <establish-subscription xmlns="urn:ietf:params:xml:ns:yang:ietf-subscribed-notifica\ tions" xmlns:yp="urn:ietf:params:xml:ns:yang:ietf-yang-push"> <yp:datastore xmlns:ds="urn:ietf:params:xml:ns:yang:ietf-datastores"> ds:operational </yp:datastore> <yp:datastore-xpath-filter xmlns:ex="https://example.com/sample-data/1.0"> /if:interfaces/if:interface/if:statistics/if:in-errors </yp:datastore-xpath-filter> <yp:periodic> <yp:period>500</yp:period> </yp:periodic> </establish-subscription> </netconf:rpc>¶
Editorial Note (To be removed by RFC Editor)¶
v09 - v10¶
v08 - v09¶
v07 - v08¶
v06 - v07¶
v05 - v06¶
v04 - v05¶
v03 - v04¶
v02 - v03¶
v01 - v02¶
v00 - v01¶