From cf94ed628349085444a967230e11f8e99a3f4c66 Mon Sep 17 00:00:00 2001
From: Andrey Tvorozhkov <tvorog@tvorog.me>
Date: Mon, 16 May 2022 22:20:29 +0300
Subject: [PATCH 1/2] Documentation fix, set addr_extern len:(## 9)

---
 doc/tblkch.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tblkch.tex b/doc/tblkch.tex
index e8d7f44fb..e7b3b1957 100644
--- a/doc/tblkch.tex
+++ b/doc/tblkch.tex
@@ -865,7 +865,7 @@ \section*{Introduction}
 The serialization of source and destination addresses is defined by the following TL-B scheme:
 \begin{verbatim}
 addr_none$00 = MsgAddressExt;
-addr_extern$01 len:(## 8) external_address:(len * Bit) 
+addr_extern$01 len:(## 9) external_address:(len * Bit) 
              = MsgAddressExt;
 anycast_info$_ depth:(## 5) rewrite_pfx:(depth * Bit) = Anycast;
 addr_std$10 anycast:(Maybe Anycast) 

From 3da717f426b4473601184719c1f283b5c873db4f Mon Sep 17 00:00:00 2001
From: Andrey Tvorozhkov <tvorog@tvorog.me>
Date: Mon, 16 May 2022 22:21:38 +0300
Subject: [PATCH 2/2] Documentation fix, set addr_extern len:(## 9)

---
 doc/tvm.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/tvm.tex b/doc/tvm.tex
index 4f887ac23..f03e7fe37 100644
--- a/doc/tvm.tex
+++ b/doc/tvm.tex
@@ -2274,7 +2274,7 @@ \section*{Introduction}
 The message and address manipulation primitives listed below serialize and deserialize values according to the following TL-B scheme (cf.~\ptref{sp:tlb.brief}):
 \begin{verbatim}
 addr_none$00 = MsgAddressExt;
-addr_extern$01 len:(## 8) external_address:(bits len) 
+addr_extern$01 len:(## 9) external_address:(bits len) 
              = MsgAddressExt;
 anycast_info$_ depth:(#<= 30) { depth >= 1 }
    rewrite_pfx:(bits depth) = Anycast;