Hi,
On 24/04/2020 15:26, Jürgen Groß wrote:
+```
+ 0 1 2 3 4 5 6 7 octet
++-------+-------+-------+-------+-------+-------+-------+-------+
+| type | len |
++-------------------------------+-------------------------------+
+| body
+...
+| | padding (0 to 7 octets) |
++-------+-------------------------------------------------------+
+```
+
+NOTE: padding octets here and in all subsequent format specifications
must be
+ zero, unless stated otherwise.
What about: "... are written as zero and should be ignored on read."
I would rather not say "ignored" because it doesn't allow us to extend
the record if needed in a safe way. The read side should abort if it
sees an other value than 0 in the padding.
Cheers,
--
Julien Grall
