modified as follows:

        {H4,H5}     0000 0003 0000 0060     PAT{H4,H5}  EE
        {H6,H7}     0003 0000 0006 0000     PAT{H6,H7}  BB
        {H8,H9}     0000 0005 8000 0002     PAT{H8,H9}  E6

Formal Specification of the MAA in the REC Language {#ANNEX-REC}
===================================================

This annex presents the specification of the MAA in the REC language. This specification is fully self-contained, meaning that it does not depend on any externally-defined library — with the minor disadvantage of somewhat lengthy definitions for octet and blocks constants.

For readability, the specification has been split into 21 parts, each part being devoted to a particular sort, a group of functions sharing a common purpose, or a collection of test vectors. The first parts contain general definitions that are largely independent from the MAA; starting from Sect. \[ANNEX-REC-SPECIFIC\], the definitions become increasingly MAA-specific.

The complete REC specification is obtained by concatenating all these parts, grouping their various sections (i.e., merging all sections into a single one, all sections into a single one, etc.) and, after this, removing duplicated variable declarations in the section, and pasting broken lines so that each rewrite rule that was split across several lines now fits on one single line.

For readability, the rewrite rules concerning the same non-constructors 