First pass README updates

3 files changed, 1000 insertions, 924 deletions

diff --git a/chapter14/README.md b/chapter14/README.md
index acd8a492..a68baa5c 100644
--- a/chapter14/README.md
+++ b/chapter14/README.md
@@ -1,5 +1,8 @@
 # Chapter 14: Narrow types
 
+[Previous: Chapter 13](../chapter13/README.md) |
+[Next: Chapter 15](../chapter15/README.md)
+
 Memory retains the single `$mem` binding and lazy partitions from Chapter 10b.
 Narrow-field stores perform this chapter's truncation before updating their
 alias in MemMerge. Start and Return keep control in slot 0 and memory in slot 1.
@@ -7,9 +10,9 @@ alias in MemMerge. Start and Return keep control in slot 0 and memory in slot 1.
 # Table of Contents
 
 1. [Narrow Word Types](#narrow-or-sub-word-types)
-2. [OverFlow handling](#overflow-handling)
+2. [Overflow handling](#overflow-handling)
 3. [Integer ranges](#integer-ranges)
-4. [Bitwise operations](#examples)
+4. [Bitwise operations](#bitwise-operations)
 5. [Precedence](#precedence)
 6. [Type lattice](#type-implementation)
 7. [Nodes](#nodes)
@@ -21,7 +24,7 @@ You can also read [this chapter](https://github.com/SeaOfNodes/Simple/tree/linea
 
 ## Narrow or sub-word types
 
-Narrow or sub-worded integer types refer to integer data types that occupy less memory (fewer bits) than the standard or "full-width"(Typically 32, or 64 bits) integer types provided by a system or programming language.
+Narrow or sub-word integer types refer to integer data types that occupy less memory (fewer bits) than the standard or "full-width" (typically 32 or 64 bits) integer types provided by a system or programming language.
 
 
 As a prelude to arrays, especially arrays of bytes common in all networking
@@ -32,34 +35,34 @@ extended on a load.
 
 ```java
 i8 x = 123456789;
-if( x != 21 ) 
+if( x != 21 )
   return false;
 return true;
 ```
 
-The variable `x` is limited to 8 bits signed.  Assigning the vary large value
+The variable `x` is limited to 8 bits signed.  Assigning the very large value
 `123456789` (hex `0x75BCD15`) simply truncates to 8 bits yielding `21 (0x15)`.
 The value is sign-extended on a load.
 
 ```java
 i16 x = 123456789;
-if( x != -13035 ) 
+if( x != -13035 )
   return false;
 return true;
 ```
 
-The variable `x` is limited to 16 bits signed.  Assigning the vary large value
+The variable `x` is limited to 16 bits signed.  Assigning the very large value
 `0x75BCD15` simply truncates to 16 bits yielding `0xCD15`.  The value is
 sign-extended on a load yielding `-13035 (0xFFFF FFFF FFFF CD15)`.
 
 ```java
 u16 x = 123456789;
-if( x != 52501 ) 
+if( x != 52501 )
   return false;
 return true;
 ```
 
-The variable `x` is limited to 16 bits unsigned.  Assigning the vary large value
+The variable `x` is limited to 16 bits unsigned.  Assigning the very large value
 `0x75BCD15` simply truncates to 16 bits yielding `0xCD15`.  The value is
 zero-extended on a load yielding `52501 (0x0000 0000 0000 CD15)`.
 
@@ -91,10 +94,10 @@ There are several cases of overflow:
 
 #### Unsigned(fixed-width) integer overflow:
 
-```java 
-u8 a = 255; 
+```java
+u8 a = 255;
 u8 b = a + 1; // match u8 type against expr.type
-// a = 256 
+// a = 256
 // u8 = [0...255]
 return b;
 ```
@@ -113,7 +116,7 @@ The operands to the "bitwise AND" are the values(256) and the mask(255, max boun
 This is called truncating.
 
 `ZsMask:`
-```java 
+```java
     // zero/sign extend.  "i" is limited to either classic unsigned (min==0) or
     // classic signed (min=minus-power-of-2); max=power-of-2-minus-1.
 private Node zsMask(Node val, Type t ) {
@@ -140,29 +143,29 @@ The truncation is done by the `AndNode`:
 if( t0._min==0 )       // Unsigned
         return new AndNode(val,con(t0._max)).peephole();
 ```
-Since they are constants, after calling peephole it truns into`256 & 255` = 0;
+Since they are constants, after calling peephole it turns into `256 & 255` = 0;
 Output:
 ```
-return 0; 
+return 0;
 ```
 
 #### Maximum integer overflow
-```java 
-i64 a = 9223372036854775807; 
+```java
+i64 a = 9223372036854775807;
 i64 b = a + 1;
 return b;
 ```
 When we are computing the addition, we make sure they don't overflow:
 
 `AddNode.overflow:`
-```java 
+```java
 private static boolean overflow( long x, long y ) {
     if(    (x ^      y ) < 0 ) return false; // unequal signs, never overflow
     return (x ^ (x + y)) < 0; // sum has unequal signs, so overflow
 }
 ```
 `AddNode.compute`
-```java 
+```java
 ...
 // Fold ranges like {0-1} + {2-3} into {2-4}.
 if( !overflow(i1._min,i2._min) &&
@@ -183,8 +186,8 @@ return TypeInteger.constant(i1.value()+i2.value()); // -9223372036854775808;
 ```
 
 #### Adding constant ranges
-```java 
-u8 a = 12; 
+```java
+u8 a = 12;
 u8 b = 13;
 u8 c = 124;
 u8 d = a + b + c;
@@ -197,30 +200,30 @@ public static TypeInteger make(boolean is_con, long con) {
     return make(is_con ? con : (con==0 ? Long.MAX_VALUE : Long.MIN_VALUE),
                 is_con ? con : (con==0 ? Long.MIN_VALUE : Long.MAX_VALUE));
 ```
-- This results in: 
+- This results in:
 ```java
 return make(con, con);
 ```
 
-`value()` is only called in constants, e.g  `_min == _max;` invariants holds, then since
+`value()` is only called in constants, e.g  `_min == _max;` invariant holds, then since
 both `min_` and `max_` are equal, we can return either one.
 
 This is the same as regular additions:
-```java 
-public long value() { assert isConstant(); return _min; } 
+```java
+public long value() { assert isConstant(); return _min; }
 ```
 
 #### Truncate(2)
 
-```java 
+```java
 u8 a = arg;  // arg & 255
 u8 b = arg;  // arg & 255(same as a)
 u8 c = a + b; // (arg&255)*2, type = TypeInteger.BOT
-return c; // (((arg&255)*2)&255), type = TypeInteger.U8 
+return c; // (((arg&255)*2)&255), type = TypeInteger.U8
 ```
 
 Same as before, **arg** turns into **(arg&255)**, this node is then inserted into the **GVN** table and  **b** retrieves this value.
-The AddNode peephole will change them into `((arg&255)*2`, and put on extra mask 
+The AddNode peephole will change them into `((arg&255)*2)`, and put on extra mask
 on the expression to keep it in the valid boundaries.
 
 
@@ -238,15 +241,15 @@ And `&`, Or `|`, Xor `^`, Shift left `<<`, Shift right `>>`, Shift right zero `>
 | **Or**                   | `\|`        | Performs a bitwise OR (inclusive OR) operation.                                                         |
 | **Xor**                  | `^`     | Performs a bitwise XOR (exclusive OR) operation.                                                        |
 | **Shift Left**           | `<<`    | Shifts bits to the left, filling with zeros.                                                            |
-| **Shift Right**          | `>>`    | Shifts bits to the right, any vacated bit postions are filled by replicating the value of the sign bit. |
-| **Unsigned Right Shift** | `>>>`   | Shifts bits to the right, any vacated bit postions are always filled with zero                          |
+| **Shift Right**          | `>>`    | Shifts bits to the right, any vacated bit positions are filled by replicating the value of the sign bit. |
+| **Unsigned Right Shift** | `>>>`   | Shifts bits to the right, any vacated bit positions are always filled with zero                          |
 
 Note `>>>` is a logical shift and not an arithmetic shift.
 
 ####  AndNode:
 
 ##### lhs & -1 = lhs;
-```java 
+```java
 // And of -1.  We do not check for (-1&x) because this will already
 // canonicalize to (x&-1)
 if( t2.isConstant() && t2 instanceof TypeInteger i && i.value()==-1 )
@@ -306,7 +309,7 @@ arg + 123 & 3 = (arg + 123) & 3
 
 ## Type Implementation
 
-The <font style="background-color:lightblue">TypeInteger type</font> class is
+The ![Integer](../chapter10a/docs/type-integer.svg) `TypeInteger` class is
 reworked to support a full range of min/max values.  At this time, only some
 power-of-2 sized ranges are exposed to the programmer but the optimizer
 internally supports all ranges.  The MEET operation takes the min-of-mins and
@@ -322,7 +325,11 @@ Example: the `i8` type has the range `[-128...127]`.
 
 Example: the `dual` of `bool` is `[1...0]` (just swap min and max).
 
-The <font style="background-color:aqua">TypeFloat</font> class is also reworked to support 32-bit and 64-bit sizes.
+The ![Float](../docs/type-float.svg) `TypeFloat` class is also reworked to support 32-bit and 64-bit sizes.
+
+The integer range diagram is schematic: it shows the boolean range and its
+dual as examples among the possible ranges. The other domains retain the
+named structs, nullable pointers, and precise memory aliases from earlier chapters.
 
 ![Graph1](./docs/lattice.svg)
 
@@ -350,4 +357,4 @@ slightly different `idealize()` calls.
 
 
 [^1]:  Hacker's delight.
-    4-2 Propagating Bounds through Add's and Subtract's
+    4-2 Propagating Bounds through Adds and Subtracts
diff --git a/chapter14/docs/lattice.gv b/chapter14/docs/lattice.gv
index f16a9768..ac2f1f2e 100644
--- a/chapter14/docs/lattice.gv
+++ b/chapter14/docs/lattice.gv
@@ -1,202 +1,159 @@
 digraph Lattice {
-    compound = true;
-    // Define nodes
-    splines=false;
-    node [shape=circle, style=filled];
-    nodesep=0.6;
-
-    TOP [label=<<B>⊤</B >>, fillcolor=black, fontcolor=white];
-    BOT [label=<<B>⊥</B>>, fillcolor=black, fontcolor=white];
-
-    // ----------------------
-    // Control
-    XCTRL [label=<<B>⊤</B >:ctrl>, fillcolor=yellow, shape=oval];
-    CTRL  [label=<<B>⊥</B>:ctrl>, fillcolor=yellow, shape=oval];
-
-    TOP   -> XCTRL;
-    XCTRL -> CTRL;
-    CTRL  -> BOT;
-
-    // ----------------------
-    // Integers
-    INT_TOP [label=<<B>⊤</B >:int>, fillcolor=lightblue, shape=oval];
-    INT_BOT [label=<<B>⊥</B>:int>, fillcolor=lightblue, shape=oval];
-
-    INT_HI    [label="max < min" , fillcolor=lightblue, shape=oval];
-    INT_XBOOL [label="1...0", fillcolor=lightblue, shape=oval];
-    INT_CON   [label="constants", fillcolor=lightblue, shape=oval];
-    INT_CON0  [label="0", fillcolor=lightblue];
-    INT_CON1  [label="1", fillcolor=lightblue];
-    INT_BOOL  [label="0...1", fillcolor=lightblue,shape=oval];
-    INT_LO    [label="max > min" , fillcolor=lightblue, shape=oval];
-
-    TOP        -> INT_TOP;
-    INT_TOP    -> INT_HI;
-    INT_HI     -> INT_XBOOL;
-    INT_XBOOL  -> INT_CON0;
-    INT_XBOOL  -> INT_CON1;
-    INT_HI     -> INT_CON;
-    INT_CON0   -> INT_BOOL;
-    INT_CON1   -> INT_BOOL;
-    INT_BOOL   -> INT_LO;
-    INT_CON    -> INT_LO;
-    INT_LO     -> INT_BOT;
-    INT_BOT    -> BOT;
-
-    INT_CON0 -> INT_CON1 -> INT_CON [style=invis];
-
-    // ----------------------
-    // Floats
-    FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval];
-    FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval];
-
-    FLT_CON64  [label="64b consts\n[excludes\n32b consts]" , fillcolor=aqua, shape=oval];
-    FLT_CON32  [label="32b consts", fillcolor=aqua, shape=oval];
-    FLT_CONPI  [label="3.14159...", fillcolor=aqua, shape=oval];
-    FLT_X32    [label="~f32", fillcolor=aqua];
-    FLT_CON0   [label="0."  , fillcolor=aqua];
-    FLT_32     [label="f32" , fillcolor=aqua];
-
-    TOP       -> FLT_TOP;
-    FLT_TOP   -> FLT_CON64
-    FLT_TOP   -> FLT_CONPI
-    FLT_CON64 -> FLT_BOT
-    FLT_CONPI -> FLT_BOT
-    
-    FLT_TOP   -> FLT_X32;
-    FLT_X32   -> FLT_CON0;
-    FLT_X32   -> FLT_CON32;
-    FLT_CON0  -> FLT_32;
-    FLT_CON32 -> FLT_32;
-    FLT_32    -> FLT_BOT
-    
-    FLT_BOT   -> BOT;
-
-    FLT_CON0 -> FLT_CON32 -> FLT_CONPI -> FLT_CON64 [style=invis];
-
-
-    // ----------------------
-    // Pointers, just a boolean nil/not and a struct
-    PTR  [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TR><TD BGCOLOR="green"><FONT color="white">*ptr</FONT></TD></TR>
-        <TR><TD BGCOLOR="lightgreen">struct</TD></TR>
-      </TABLE>
-    >];
-    PTR0  [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TR><TD BGCOLOR="green"><FONT color="white">*ptr?</FONT></TD></TR>
-        <TR><TD BGCOLOR="lightgreen">struct</TD></TR>
-      </TABLE>
-    >];
-    
-    TOP  -> PTR;
-    PTR  -> PTR0;
-    PTR0 -> BOT;
-
-    // ----------------------
-    // Structs
-    STRUCT_TOP    [label=<<B>⊤</B >:struct>, fillcolor=lightgreen, shape=oval];
-    STRUCT_BOT    [label=<<B>⊥</B>:struct>, fillcolor=lightgreen, shape=oval];
-
-    STRUCT_S1  [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TR><TD BGCOLOR="lightgreen">field</TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-      </TABLE>
-    >];
-    STRUCT_S2  [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TR><TD BGCOLOR="lightgreen">field</TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-        <TR><TD BGCOLOR="lightgreen">field</TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-      </TABLE>
-    >];
-    STRUCT_SN  [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TR><TD BGCOLOR="lightgreen">field</TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-        <TR><TD BGCOLOR="lightgreen">...  </TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-        <TR><TD BGCOLOR="lightgreen">field</TD><TD BGCOLOR="lightblue:green" gradientangle="315">int/ptr</TD></TR>
-      </TABLE>
-    >];
-
-
-    TOP          -> STRUCT_TOP;
-    STRUCT_TOP   -> STRUCT_S1;
-    STRUCT_TOP   -> STRUCT_S2;
-    STRUCT_TOP   -> STRUCT_SN;
-    STRUCT_S1    -> STRUCT_BOT;
-    STRUCT_S2    -> STRUCT_BOT;
-    STRUCT_SN    -> STRUCT_BOT;
-    STRUCT_BOT   -> BOT;
-
-    STRUCT_S1 -> STRUCT_S2 -> STRUCT_SN [style=invis];
-
-    // ----------------------
-    // Memory
-    MEM_TOP       [label=<<B>⊤</B >:mem>, fillcolor=blue, fontcolor=white, shape=oval];
-    MEM_BOT       [label=<<B>⊥</B>:mem>, fillcolor=blue, fontcolor=white, shape=oval];
-    MEM_ALIAS1    [label="#1"     , fillcolor=blue, fontcolor=white];
-    MEM_ALIASDOTS [label="..."    , fillcolor=blue, fontcolor=white, shape=oval];
-    MEM_ALIASN    [label="#n"     , fillcolor=blue, fontcolor=white];
-
-    TOP          -> MEM_TOP;
-    MEM_TOP      -> MEM_ALIAS1;
-    MEM_TOP      -> MEM_ALIASDOTS;
-    MEM_TOP      -> MEM_ALIASN;
-    MEM_ALIAS1   -> MEM_BOT;
-    MEM_ALIASDOTS -> MEM_BOT;
-    MEM_ALIASN    -> MEM_BOT;
-    MEM_BOT       -> BOT;
-
-    MEM_ALIAS1 -> MEM_ALIASDOTS -> MEM_ALIASN [style=invis];
-
-    // ----------------------
-    // Tuples
-
-    TUPLE_TOP [label=<<B>⊤</B >:tuple>, fillcolor=pink, shape=oval];
-    TUPLE_BOT [label=<<B>⊥</B>:tuple>, fillcolor=pink, shape=oval];
-
-    TUPLE1 [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TH><TD BGCOLOR="pink">Tuple</TD></TH>
-        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
-      </TABLE>
-    >];
-    TUPLE2 [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TH><TD BGCOLOR="pink">Tuple</TD></TH>
-        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
-        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
-      </TABLE>
-    >];
-    TUPLEN [shape=none, fillcolor=none, label=<
-      <TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0">
-        <TH><TD BGCOLOR="pink">Tuple</TD></TH>
-        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
-        <TR><TD BGCOLOR="black" ><FONT color="white">...</FONT></TD></TR>
-        <TR><TD BGCOLOR="black" ><FONT color="white">type</FONT></TD></TR>
-      </TABLE>
-    >];
-
-
-    TOP -> TUPLE_TOP;
-    TUPLE_TOP -> TUPLE1;
-    TUPLE_TOP -> TUPLE2;
-    TUPLE_TOP -> TUPLEN;
-    TUPLE1 -> TUPLE_BOT;
-    TUPLE2 -> TUPLE_BOT;
-    TUPLEN -> TUPLE_BOT;
-    TUPLE_BOT -> BOT;
-
-    // ----------------------
-    // Additional customization
-    {rank=same; TOP;}
-    {rank=same; INT_TOP; FLT_TOP; XCTRL; PTR; STRUCT_TOP; MEM_TOP; TUPLE_TOP}
-    {rank=same; INT_CON; INT_CON0; INT_CON1;
-                FLT_CON32; FLT_CON64;  FLT_CON0; FLT_CONPI;
-                STRUCT_S1; STRUCT_S2; STRUCT_SN;
-                MEM_ALIAS1;  MEM_ALIASDOTS; MEM_ALIASN;
-                TUPLE1; TUPLE2; TUPLEN;
+    rankdir=TB;
+    newrank=true;
+    // Preserve the same-rank ordering edges through cluster layout.
+    remincross=false;
+    nodesep=0.22;
+    ranksep=0.65;
+    node [shape=ellipse, style=filled, fontname="DejaVu Sans", fontsize=13];
+    edge [color="#555555", arrowsize=0.6];
+
+    // These arrows are lattice-order edges, not use/definition edges.
+    TOP [label="⊤", fillcolor=black, fontcolor=white];
+    BOT [label="⊥", fillcolor=black, fontcolor=white];
+
+    subgraph cluster_control {
+        label="Control"; fontname="Arial"; color="#cccccc";
+        node [fillcolor="#ffff00"];
+        XCTRL [label="⊤:ctrl"];
+        CTRL [label="⊥:ctrl"];
+        XCTRL -> CTRL;
     }
-    {rank=same; INT_BOT; FLT_BOT; CTRL; PTR0; STRUCT_BOT; MEM_BOT; TUPLE_BOT}
-    {rank=same; BOT;}
+
+    subgraph cluster_integer {
+        label="Integer ranges (schematic)"; fontname="Arial"; color="#cccccc";
+        INT_TOP [label=<<B>⊤</B >:int>, fillcolor=lightblue, shape=oval];
+        INT_BOT [label=<<B>⊥</B>:int>, fillcolor=lightblue, shape=oval];
+
+        INT_HI    [label="max < min" , fillcolor=lightblue, shape=oval];
+        INT_XBOOL [label="1...0", fillcolor=lightblue, shape=oval];
+        INT_CON   [label="constants", fillcolor=lightblue, shape=oval];
+        INT_CON0  [label="0", fillcolor=lightblue];
+        INT_CON1  [label="1", fillcolor=lightblue];
+        INT_BOOL  [label="0...1", fillcolor=lightblue,shape=oval];
+        INT_LO    [label="max > min" , fillcolor=lightblue, shape=oval];
+
+        INT_TOP    -> INT_HI;
+        INT_HI     -> INT_XBOOL;
+        INT_XBOOL  -> INT_CON0;
+        INT_XBOOL  -> INT_CON1;
+        INT_HI     -> INT_CON;
+        INT_CON0   -> INT_BOOL;
+        INT_CON1   -> INT_BOOL;
+        INT_BOOL   -> INT_LO;
+        INT_CON    -> INT_LO;
+        INT_LO     -> INT_BOT;
+
+        INT_CON0 -> INT_CON1 -> INT_CON [style=invis];
+
+        {rank=same; INT_CON0; INT_CON1; INT_CON;}
+    }
+
+    subgraph cluster_float {
+        label="Float"; fontname="Arial"; color="#cccccc";
+        FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval];
+        FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval];
+
+        FLT_CON64  [label="64b consts\n[excludes\n32b consts]" , fillcolor=aqua, shape=oval];
+        FLT_CON32  [label="32b consts", fillcolor=aqua, shape=oval];
+        FLT_CONPI  [label="3.14159...", fillcolor=aqua, shape=oval];
+        FLT_X32    [label="~f32", fillcolor=aqua];
+        FLT_CON0   [label="0."  , fillcolor=aqua];
+        FLT_32     [label="f32" , fillcolor=aqua];
+
+        FLT_TOP   -> FLT_CON64
+        FLT_TOP   -> FLT_CONPI
+        FLT_CON64 -> FLT_BOT
+        FLT_CONPI -> FLT_BOT
+
+        FLT_TOP   -> FLT_X32;
+        FLT_X32   -> FLT_CON0;
+        FLT_X32   -> FLT_CON32;
+        FLT_CON0  -> FLT_32;
+        FLT_CON32 -> FLT_32;
+        FLT_32    -> FLT_BOT
+
+        FLT_CON0 -> FLT_CON32 -> FLT_CONPI -> FLT_CON64 [style=invis];
+
+
+        {rank=same; FLT_CON0; FLT_CON32; FLT_CONPI; FLT_CON64;}
+    }
+
+    subgraph cluster_pointer {
+        label="Pointer = nullability × struct type";
+        fontname="Arial"; color="#cccccc";
+        node [fillcolor="#008000", fontcolor=white];
+        PTR_TOP [label="⊤:ptr\n[*⊤:struct]"];
+        PTR_BOT [label="⊥:ptr\n[*⊥:struct?]"];
+        PTR_NULL [label="null"];
+        PTR_ANY [label="*⊥:struct\n[ptr any struct]"];
+        PTR_PERSON [label="*Person"];
+        PTR_S1 [label="*s1"];
+        PTR_MORE [label="*s2, …"];
+        PTR_PERSON_NIL [label="*Person?"];
+        PTR_S1_NIL [label="*s1?"];
+        PTR_MORE_NIL [label="*s2?, …"];
+        {rank=same; PTR_PERSON; PTR_S1; PTR_MORE; PTR_NULL;}
+        {rank=same; PTR_ANY; PTR_PERSON_NIL; PTR_S1_NIL; PTR_MORE_NIL;}
+        PTR_PERSON -> PTR_S1 -> PTR_MORE -> PTR_NULL [style=invis];
+        PTR_ANY -> PTR_PERSON_NIL -> PTR_S1_NIL -> PTR_MORE_NIL [style=invis];
+        PTR_TOP -> {PTR_PERSON PTR_S1 PTR_MORE PTR_NULL};
+        {PTR_PERSON PTR_S1 PTR_MORE} -> PTR_ANY;
+        PTR_PERSON -> PTR_PERSON_NIL;
+        PTR_S1 -> PTR_S1_NIL;
+        PTR_MORE -> PTR_MORE_NIL;
+        PTR_NULL -> {PTR_PERSON_NIL PTR_S1_NIL PTR_MORE_NIL};
+        {PTR_ANY PTR_PERSON_NIL PTR_S1_NIL PTR_MORE_NIL} -> PTR_BOT;
+    }
+
+    subgraph cluster_struct {
+        label="Struct\nnamed collection of named scalar types";
+        fontname="Arial"; color="#cccccc";
+        node [fillcolor="#90ee90"];
+        STRUCT_TOP [label="⊤:struct\n[struct top]"];
+        STRUCT_BOT [label="⊥:struct\n[struct bottom]"];
+        STRUCT_PERSON [label="Person\nage: int", shape=box];
+        STRUCT_S1 [label="s1\nx: int", shape=box];
+        STRUCT_S2 [label="s2\nx: int, y: *s1", shape=box];
+        STRUCT_MORE [label="…", shape=box];
+        {rank=same; STRUCT_PERSON; STRUCT_S1; STRUCT_S2; STRUCT_MORE;}
+        STRUCT_PERSON -> STRUCT_S1 -> STRUCT_S2 -> STRUCT_MORE [style=invis];
+        STRUCT_TOP -> {STRUCT_PERSON STRUCT_S1 STRUCT_S2 STRUCT_MORE};
+        {STRUCT_PERSON STRUCT_S1 STRUCT_S2 STRUCT_MORE} -> STRUCT_BOT;
+    }
+
+    subgraph cluster_memory {
+        label="Memory\nprecise alias slices"; fontname="Arial"; color="#cccccc";
+        node [fillcolor="#00008b", fontcolor=white];
+        MEM_TOP [label="⊤:mem"];
+        MEM_BOT [label="⊥:mem"];
+        MEM_ALIAS2 [label="MEM#2"];
+        MEM_ALIAS3 [label="MEM#3"];
+        MEM_MORE [label="…"];
+        {rank=same; MEM_ALIAS2; MEM_ALIAS3; MEM_MORE;}
+        MEM_ALIAS2 -> MEM_ALIAS3 -> MEM_MORE [style=invis];
+        MEM_TOP -> {MEM_ALIAS2 MEM_ALIAS3 MEM_MORE};
+        {MEM_ALIAS2 MEM_ALIAS3 MEM_MORE} -> MEM_BOT;
+    }
+
+    subgraph cluster_tuple {
+        label="Tuple\ncollection of types";
+        fontname="Arial"; color="#cccccc";
+        node [fillcolor="#ffc0cb"];
+        TUPLE_TOP [label="⊤:tuple"];
+        TUPLE_BOT [label="⊥:tuple"];
+        TUPLE1 [label="(type)", shape=box];
+        TUPLE2 [label="(type, type)", shape=box];
+        TUPLEN [label="(type, …)", shape=box];
+        {rank=same; TUPLE1; TUPLE2; TUPLEN;}
+        TUPLE1 -> TUPLE2 -> TUPLEN [style=invis];
+        TUPLE_TOP -> {TUPLE1 TUPLE2 TUPLEN};
+        {TUPLE1 TUPLE2 TUPLEN} -> TUPLE_BOT;
+    }
+
+    TOP -> {XCTRL INT_TOP FLT_TOP PTR_TOP STRUCT_TOP MEM_TOP TUPLE_TOP};
+    {CTRL INT_BOT FLT_BOT PTR_BOT STRUCT_BOT MEM_BOT TUPLE_BOT} -> BOT;
+    {rank=same; XCTRL; INT_TOP; FLT_TOP; PTR_TOP; STRUCT_TOP; MEM_TOP; TUPLE_TOP;}
+    {rank=same; CTRL; INT_BOT; FLT_BOT; PTR_BOT; STRUCT_BOT; MEM_BOT; TUPLE_BOT;}
+    XCTRL -> INT_TOP -> FLT_TOP -> PTR_TOP -> STRUCT_TOP -> MEM_TOP -> TUPLE_TOP [style=invis];
 }
diff --git a/chapter14/docs/lattice.svg b/chapter14/docs/lattice.svg
index 99f74ed0..131b5601 100644
--- a/chapter14/docs/lattice.svg
+++ b/chapter14/docs/lattice.svg
@@ -1,691 +1,803 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>

-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"

- "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">

-<!-- Generated by graphviz version 12.2.0 (20241103.1931)

- -->

-<!-- Title: Lattice Pages: 1 -->

-<svg width="1800pt" height="760pt"

- viewBox="0.00 0.00 1800.00 759.54" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">

-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 755.54)">

-<title>Lattice</title>

-<polygon fill="white" stroke="none" points="-4,4 -4,-755.54 1796,-755.54 1796,4 -4,4"/>

-<!-- TOP -->

-<g id="node1" class="node">

-<title>TOP</title>

-<ellipse fill="black" stroke="black" cx="829" cy="-730.42" rx="21.12" ry="21.12"/>

-<text text-anchor="start" x="821.12" y="-725.99" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>

-</g>

-<!-- XCTRL -->

-<g id="node3" class="node">

-<title>XCTRL</title>

-<ellipse fill="yellow" stroke="black" cx="45" cy="-646.79" rx="36.51" ry="18"/>

-<text text-anchor="start" x="26.25" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

-<text text-anchor="start" x="42" y="-642.74" font-family="Times New Roman,serif" font-size="14.00">:ctrl</text>

-</g>

-<!-- TOP&#45;&gt;XCTRL -->

-<g id="edge1" class="edge">

-<title>TOP&#45;&gt;XCTRL</title>

-<path fill="none" stroke="black" d="M807.62,-727.19C702.73,-716.27 241.49,-668.25 91.97,-652.68"/>

-<polygon fill="black" stroke="black" points="92.33,-649.2 82.02,-651.65 91.61,-656.16 92.33,-649.2"/>

-</g>

-<!-- INT_TOP -->

-<g id="node5" class="node">

-<title>INT_TOP</title>

-<ellipse fill="lightblue" stroke="black" cx="404" cy="-646.79" rx="33.95" ry="18"/>

-<text text-anchor="start" x="387.12" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

-<text text-anchor="start" x="402.88" y="-642.74" font-family="Times New Roman,serif" font-size="14.00">:int</text>

-</g>

-<!-- TOP&#45;&gt;INT_TOP -->

-<g id="edge4" class="edge">

-<title>TOP&#45;&gt;INT_TOP</title>

-<path fill="none" stroke="black" d="M808.21,-725.42C742.28,-712.76 536.86,-673.31 446.91,-656.03"/>

-<polygon fill="black" stroke="black" points="447.74,-652.63 437.26,-654.18 446.42,-659.5 447.74,-652.63"/>

-</g>

-<!-- FLT_TOP -->

-<g id="node14" class="node">

-<title>FLT_TOP</title>

-<ellipse fill="aqua" stroke="black" cx="636" cy="-646.79" rx="32.41" ry="18"/>

-<text text-anchor="start" x="620.25" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

-<text text-anchor="start" x="636" y="-642.74" font-family="Times New Roman,serif" font-size="14.00">:flt</text>

-</g>

-<!-- TOP&#45;&gt;FLT_TOP -->

-<g id="edge18" class="edge">

-<title>TOP&#45;&gt;FLT_TOP</title>

-<path fill="none" stroke="black" d="M809.79,-721.29C777.65,-707.7 712.5,-680.14 671.73,-662.91"/>

-<polygon fill="black" stroke="black" points="673.15,-659.7 662.58,-659.03 670.42,-666.15 673.15,-659.7"/>

-</g>

-<!-- PTR -->

-<g id="node22" class="node">

-<title>PTR</title>

-<polygon fill="none" stroke="none" points="856,-673.29 802,-673.29 802,-620.29 856,-620.29 856,-673.29"/>

-<polygon fill="green" stroke="none" points="811,-646.79 811,-669.29 847,-669.29 847,-646.79 811,-646.79"/>

-<polygon fill="none" stroke="black" points="811,-646.79 811,-669.29 847,-669.29 847,-646.79 811,-646.79"/>

-<text text-anchor="start" x="818.12" y="-652.99" font-family="Times New Roman,serif" font-size="14.00" fill="white">*ptr</text>

-<polygon fill="lightgreen" stroke="none" points="811,-624.29 811,-646.79 847,-646.79 847,-624.29 811,-624.29"/>

-<polygon fill="none" stroke="black" points="811,-624.29 811,-646.79 847,-646.79 847,-624.29 811,-624.29"/>

-<text text-anchor="start" x="814" y="-630.49" font-family="Times New Roman,serif" font-size="14.00">struct</text>

-</g>

-<!-- TOP&#45;&gt;PTR -->

-<g id="edge33" class="edge">

-<title>TOP&#45;&gt;PTR</title>

-<path fill="none" stroke="black" d="M829,-708.82C829,-701.44 829,-692.87 829,-684.54"/>

-<polygon fill="black" stroke="black" points="832.5,-684.57 829,-674.57 825.5,-684.57 832.5,-684.57"/>

-</g>

-<!-- STRUCT_TOP -->

-<g id="node24" class="node">

-<title>STRUCT_TOP</title>

-<ellipse fill="lightgreen" stroke="black" cx="997" cy="-646.79" rx="44.7" ry="18"/>

-<text text-anchor="start" x="972.25" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

-<text text-anchor="start" x="988" y="-642.74" font-family="Times New Roman,serif" font-size="14.00">:struct</text>

-</g>

-<!-- TOP&#45;&gt;STRUCT_TOP -->

-<g id="edge36" class="edge">

-<title>TOP&#45;&gt;STRUCT_TOP</title>

-<path fill="none" stroke="black" d="M847.95,-720.21C874.78,-707.18 924.42,-683.06 959.01,-666.25"/>

-<polygon fill="black" stroke="black" points="960.39,-669.47 967.86,-661.95 957.34,-663.17 960.39,-669.47"/>

-</g>

-<!-- MEM_TOP -->

-<g id="node29" class="node">

-<title>MEM_TOP</title>

-<ellipse fill="blue" stroke="black" cx="1346" cy="-646.79" rx="43.67" ry="18"/>

-<text text-anchor="start" x="1322" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊤</text>

-<text text-anchor="start" x="1337.75" y="-642.74" font-family="Times New Roman,serif" font-size="14.00" fill="white">:mem</text>

-</g>

-<!-- TOP&#45;&gt;MEM_TOP -->

-<g id="edge46" class="edge">

-<title>TOP&#45;&gt;MEM_TOP</title>

-<path fill="none" stroke="black" d="M849.91,-726.12C925.08,-714.25 1183.05,-673.52 1294.28,-655.96"/>

-<polygon fill="black" stroke="black" points="1294.7,-659.44 1304.03,-654.42 1293.61,-652.52 1294.7,-659.44"/>

-</g>

-<!-- TUPLE_TOP -->

-<g id="node34" class="node">

-<title>TUPLE_TOP</title>

-<ellipse fill="pink" stroke="black" cx="1619" cy="-646.79" rx="42.65" ry="18"/>

-<text text-anchor="start" x="1595.75" y="-642.74" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊤</text>

-<text text-anchor="start" x="1611.5" y="-642.74" font-family="Times New Roman,serif" font-size="14.00">:tuple</text>

-</g>

-<!-- TOP&#45;&gt;TUPLE_TOP -->

-<g id="edge56" class="edge">

-<title>TOP&#45;&gt;TUPLE_TOP</title>

-<path fill="none" stroke="black" d="M850.13,-727.23C953.9,-716.51 1410.83,-669.3 1566.7,-653.2"/>

-<polygon fill="black" stroke="black" points="1566.73,-656.71 1576.32,-652.2 1566.01,-649.75 1566.73,-656.71"/>

-</g>

-<!-- BOT -->

-<g id="node2" class="node">

-<title>BOT</title>

-<ellipse fill="black" stroke="black" cx="829" cy="-21.12" rx="21.12" ry="21.12"/>

-<text text-anchor="start" x="821.12" y="-16.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>

-</g>

-<!-- CTRL -->

-<g id="node4" class="node">

-<title>CTRL</title>

-<ellipse fill="yellow" stroke="black" cx="44" cy="-104.75" rx="36.51" ry="18"/>

-<text text-anchor="start" x="25.25" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

-<text text-anchor="start" x="41" y="-100.7" font-family="Times New Roman,serif" font-size="14.00">:ctrl</text>

-</g>

-<!-- XCTRL&#45;&gt;CTRL -->

-<g id="edge2" class="edge">

-<title>XCTRL&#45;&gt;CTRL</title>

-<path fill="none" stroke="black" d="M44.97,-628.45C44.82,-548.91 44.24,-233.44 44.05,-134.55"/>

-<polygon fill="black" stroke="black" points="47.56,-134.6 44.04,-124.6 40.56,-134.61 47.56,-134.6"/>

-</g>

-<!-- CTRL&#45;&gt;BOT -->

-<g id="edge3" class="edge">

-<title>CTRL&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M79.77,-100.03C211.83,-86.3 670.83,-38.57 796.8,-25.47"/>

-<polygon fill="black" stroke="black" points="796.84,-28.99 806.43,-24.47 796.12,-22.02 796.84,-28.99"/>

-</g>

-<!-- INT_HI -->

-<g id="node7" class="node">

-<title>INT_HI</title>

-<ellipse fill="lightblue" stroke="black" cx="203" cy="-566.29" rx="52.89" ry="18"/>

-<text text-anchor="middle" x="203" y="-561.24" font-family="Times New Roman,serif" font-size="14.00">max &lt; min</text>

-</g>

-<!-- INT_TOP&#45;&gt;INT_HI -->

-<g id="edge5" class="edge">

-<title>INT_TOP&#45;&gt;INT_HI</title>

-<path fill="none" stroke="black" d="M377.31,-635.37C344.15,-622.42 287.09,-600.13 247.33,-584.6"/>

-<polygon fill="black" stroke="black" points="248.85,-581.44 238.26,-581.06 246.31,-587.96 248.85,-581.44"/>

-</g>

-<!-- INT_BOT -->

-<g id="node6" class="node">

-<title>INT_BOT</title>

-<ellipse fill="lightblue" stroke="black" cx="404" cy="-104.75" rx="33.95" ry="18"/>

-<text text-anchor="start" x="387.12" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

-<text text-anchor="start" x="402.88" y="-100.7" font-family="Times New Roman,serif" font-size="14.00">:int</text>

-</g>

-<!-- INT_BOT&#45;&gt;BOT -->

-<g id="edge15" class="edge">

-<title>INT_BOT&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M435.6,-97.68C514.28,-82.57 718.3,-43.39 797.2,-28.23"/>

-<polygon fill="black" stroke="black" points="797.68,-31.7 806.84,-26.38 796.36,-24.83 797.68,-31.7"/>

-</g>

-<!-- INT_XBOOL -->

-<g id="node8" class="node">

-<title>INT_XBOOL</title>

-<ellipse fill="lightblue" stroke="black" cx="97" cy="-483.97" rx="27.81" ry="18"/>

-<text text-anchor="middle" x="97" y="-478.92" font-family="Times New Roman,serif" font-size="14.00">1...0</text>

-</g>

-<!-- INT_HI&#45;&gt;INT_XBOOL -->

-<g id="edge6" class="edge">

-<title>INT_HI&#45;&gt;INT_XBOOL</title>

-<path fill="none" stroke="black" d="M182.06,-549.42C165.21,-536.65 141.43,-518.64 123.29,-504.9"/>

-<polygon fill="black" stroke="black" points="125.68,-502.32 115.6,-499.07 121.46,-507.89 125.68,-502.32"/>

-</g>

-<!-- INT_CON -->

-<g id="node9" class="node">

-<title>INT_CON</title>

-<ellipse fill="lightblue" stroke="black" cx="203" cy="-370.65" rx="45.21" ry="18"/>

-<text text-anchor="middle" x="203" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">constants</text>

-</g>

-<!-- INT_HI&#45;&gt;INT_CON -->

-<g id="edge9" class="edge">

-<title>INT_HI&#45;&gt;INT_CON</title>

-<path fill="none" stroke="black" d="M203,-547.89C203,-514.02 203,-441.56 203,-400.55"/>

-<polygon fill="black" stroke="black" points="206.5,-400.66 203,-390.66 199.5,-400.66 206.5,-400.66"/>

-</g>

-<!-- INT_CON0 -->

-<g id="node10" class="node">

-<title>INT_CON0</title>

-<ellipse fill="lightblue" stroke="black" cx="18" cy="-370.65" rx="18" ry="18"/>

-<text text-anchor="middle" x="18" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">0</text>

-</g>

-<!-- INT_XBOOL&#45;&gt;INT_CON0 -->

-<g id="edge7" class="edge">

-<title>INT_XBOOL&#45;&gt;INT_CON0</title>

-<path fill="none" stroke="black" d="M85.68,-467.02C72.29,-448.15 49.88,-416.57 34.54,-394.96"/>

-<polygon fill="black" stroke="black" points="37.56,-393.17 28.92,-387.04 31.86,-397.22 37.56,-393.17"/>

-</g>

-<!-- INT_CON1 -->

-<g id="node11" class="node">

-<title>INT_CON1</title>

-<ellipse fill="lightblue" stroke="black" cx="97" cy="-370.65" rx="18" ry="18"/>

-<text text-anchor="middle" x="97" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">1</text>

-</g>

-<!-- INT_XBOOL&#45;&gt;INT_CON1 -->

-<g id="edge8" class="edge">

-<title>INT_XBOOL&#45;&gt;INT_CON1</title>

-<path fill="none" stroke="black" d="M97,-465.58C97,-448.1 97,-420.85 97,-400.2"/>

-<polygon fill="black" stroke="black" points="100.5,-400.44 97,-390.44 93.5,-400.44 100.5,-400.44"/>

-</g>

-<!-- INT_LO -->

-<g id="node13" class="node">

-<title>INT_LO</title>

-<ellipse fill="lightblue" stroke="black" cx="203" cy="-185.25" rx="52.89" ry="18"/>

-<text text-anchor="middle" x="203" y="-180.2" font-family="Times New Roman,serif" font-size="14.00">max &gt; min</text>

-</g>

-<!-- INT_CON&#45;&gt;INT_LO -->

-<g id="edge13" class="edge">

-<title>INT_CON&#45;&gt;INT_LO</title>

-<path fill="none" stroke="black" d="M203,-352.2C203,-320.06 203,-253.57 203,-214.9"/>

-<polygon fill="black" stroke="black" points="206.5,-215.14 203,-205.14 199.5,-215.14 206.5,-215.14"/>

-</g>

-<!-- INT_CON0&#45;&gt;INT_CON1 -->

-<!-- INT_BOOL -->

-<g id="node12" class="node">

-<title>INT_BOOL</title>

-<ellipse fill="lightblue" stroke="black" cx="97" cy="-262.45" rx="27.81" ry="18"/>

-<text text-anchor="middle" x="97" y="-257.4" font-family="Times New Roman,serif" font-size="14.00">0...1</text>

-</g>

-<!-- INT_CON0&#45;&gt;INT_BOOL -->

-<g id="edge10" class="edge">

-<title>INT_CON0&#45;&gt;INT_BOOL</title>

-<path fill="none" stroke="black" d="M28.33,-355.77C41.09,-338.61 63.05,-309.09 78.7,-288.06"/>

-<polygon fill="black" stroke="black" points="81.32,-290.39 84.48,-280.28 75.71,-286.21 81.32,-290.39"/>

-</g>

-<!-- INT_CON1&#45;&gt;INT_CON -->

-<!-- INT_CON1&#45;&gt;INT_BOOL -->

-<g id="edge11" class="edge">

-<title>INT_CON1&#45;&gt;INT_BOOL</title>

-<path fill="none" stroke="black" d="M97,-352.59C97,-336.35 97,-311.6 97,-292.3"/>

-<polygon fill="black" stroke="black" points="100.5,-292.34 97,-282.34 93.5,-292.34 100.5,-292.34"/>

-</g>

-<!-- INT_BOOL&#45;&gt;INT_LO -->

-<g id="edge12" class="edge">

-<title>INT_BOOL&#45;&gt;INT_LO</title>

-<path fill="none" stroke="black" d="M114.98,-248.69C130.47,-237.7 153.19,-221.59 171.67,-208.48"/>

-<polygon fill="black" stroke="black" points="173.51,-211.46 179.65,-202.82 169.46,-205.75 173.51,-211.46"/>

-</g>

-<!-- INT_LO&#45;&gt;INT_BOT -->

-<g id="edge14" class="edge">

-<title>INT_LO&#45;&gt;INT_BOT</title>

-<path fill="none" stroke="black" d="M236.64,-171.11C272.65,-157.05 329.61,-134.8 366.9,-120.24"/>

-<polygon fill="black" stroke="black" points="367.88,-123.61 375.92,-116.72 365.33,-117.09 367.88,-123.61"/>

-</g>

-<!-- FLT_CON64 -->

-<g id="node16" class="node">

-<title>FLT_CON64</title>

-<ellipse fill="aqua" stroke="black" cx="709" cy="-370.65" rx="55.33" ry="40.66"/>

-<text text-anchor="middle" x="709" y="-382.1" font-family="Times New Roman,serif" font-size="14.00">64b consts</text>

-<text text-anchor="middle" x="709" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">[excludes</text>

-<text text-anchor="middle" x="709" y="-349.1" font-family="Times New Roman,serif" font-size="14.00">32b consts]</text>

-</g>

-<!-- FLT_TOP&#45;&gt;FLT_CON64 -->

-<g id="edge19" class="edge">

-<title>FLT_TOP&#45;&gt;FLT_CON64</title>

-<path fill="none" stroke="black" d="M640.79,-628.67C651.74,-587.25 678.94,-484.36 695.5,-421.74"/>

-<polygon fill="black" stroke="black" points="698.8,-422.94 697.97,-412.38 692.03,-421.15 698.8,-422.94"/>

-</g>

-<!-- FLT_CONPI -->

-<g id="node18" class="node">

-<title>FLT_CONPI</title>

-<ellipse fill="aqua" stroke="black" cx="562" cy="-370.65" rx="48.79" ry="18"/>

-<text text-anchor="middle" x="562" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">3.14159...</text>

-</g>

-<!-- FLT_TOP&#45;&gt;FLT_CONPI -->

-<g id="edge20" class="edge">

-<title>FLT_TOP&#45;&gt;FLT_CONPI</title>

-<path fill="none" stroke="black" d="M631.14,-628.67C618.63,-581.96 585.17,-457.11 569.85,-399.95"/>

-<polygon fill="black" stroke="black" points="573.23,-399.05 567.27,-390.3 566.47,-400.86 573.23,-399.05"/>

-</g>

-<!-- FLT_X32 -->

-<g id="node19" class="node">

-<title>FLT_X32</title>

-<ellipse fill="aqua" stroke="black" cx="420" cy="-483.97" rx="28.32" ry="28.32"/>

-<text text-anchor="middle" x="420" y="-478.92" font-family="Times New Roman,serif" font-size="14.00">~f32</text>

-</g>

-<!-- FLT_TOP&#45;&gt;FLT_X32 -->

-<g id="edge23" class="edge">

-<title>FLT_TOP&#45;&gt;FLT_X32</title>

-<path fill="none" stroke="black" d="M616.45,-632.06C579.12,-603.92 497.39,-542.31 451.99,-508.09"/>

-<polygon fill="black" stroke="black" points="454.19,-505.36 444.09,-502.13 449.97,-510.95 454.19,-505.36"/>

-</g>

-<!-- FLT_BOT -->

-<g id="node15" class="node">

-<title>FLT_BOT</title>

-<ellipse fill="aqua" stroke="black" cx="636" cy="-104.75" rx="32.41" ry="18"/>

-<text text-anchor="start" x="620.25" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

-<text text-anchor="start" x="636" y="-100.7" font-family="Times New Roman,serif" font-size="14.00">:flt</text>

-</g>

-<!-- FLT_BOT&#45;&gt;BOT -->

-<g id="edge29" class="edge">

-<title>FLT_BOT&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M661.23,-93.08C696.76,-78.05 761.4,-50.72 799.23,-34.72"/>

-<polygon fill="black" stroke="black" points="800.35,-38.04 808.2,-30.92 797.63,-31.59 800.35,-38.04"/>

-</g>

-<!-- FLT_CON64&#45;&gt;FLT_BOT -->

-<g id="edge21" class="edge">

-<title>FLT_CON64&#45;&gt;FLT_BOT</title>

-<path fill="none" stroke="black" d="M697.99,-330.56C683.16,-276.52 657.1,-181.62 644,-133.89"/>

-<polygon fill="black" stroke="black" points="647.39,-133 641.36,-124.29 640.64,-134.86 647.39,-133"/>

-</g>

-<!-- FLT_CON32 -->

-<g id="node17" class="node">

-<title>FLT_CON32</title>

-<ellipse fill="aqua" stroke="black" cx="420" cy="-370.65" rx="50.33" ry="18"/>

-<text text-anchor="middle" x="420" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">32b consts</text>

-</g>

-<!-- FLT_CON32&#45;&gt;FLT_CONPI -->

-<!-- FLT_32 -->

-<g id="node21" class="node">

-<title>FLT_32</title>

-<ellipse fill="aqua" stroke="black" cx="420" cy="-262.45" rx="23.2" ry="23.2"/>

-<text text-anchor="middle" x="420" y="-257.4" font-family="Times New Roman,serif" font-size="14.00">f32</text>

-</g>

-<!-- FLT_CON32&#45;&gt;FLT_32 -->

-<g id="edge27" class="edge">

-<title>FLT_CON32&#45;&gt;FLT_32</title>

-<path fill="none" stroke="black" d="M420,-352.59C420,-337.77 420,-315.87 420,-297.49"/>

-<polygon fill="black" stroke="black" points="423.5,-297.54 420,-287.54 416.5,-297.54 423.5,-297.54"/>

-</g>

-<!-- FLT_CONPI&#45;&gt;FLT_BOT -->

-<g id="edge22" class="edge">

-<title>FLT_CONPI&#45;&gt;FLT_BOT</title>

-<path fill="none" stroke="black" d="M567.09,-352.38C579.71,-307.01 612.57,-188.95 627.9,-133.86"/>

-<polygon fill="black" stroke="black" points="631.26,-134.83 630.57,-124.26 624.52,-132.95 631.26,-134.83"/>

-</g>

-<!-- FLT_CONPI&#45;&gt;FLT_CON64 -->

-<!-- FLT_X32&#45;&gt;FLT_CON32 -->

-<g id="edge25" class="edge">

-<title>FLT_X32&#45;&gt;FLT_CON32</title>

-<path fill="none" stroke="black" d="M420,-455.17C420,-438.48 420,-417.3 420,-400.44"/>

-<polygon fill="black" stroke="black" points="423.5,-400.57 420,-390.57 416.5,-400.57 423.5,-400.57"/>

-</g>

-<!-- FLT_CON0 -->

-<g id="node20" class="node">

-<title>FLT_CON0</title>

-<ellipse fill="aqua" stroke="black" cx="309" cy="-370.65" rx="18.08" ry="18.08"/>

-<text text-anchor="middle" x="309" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">0.</text>

-</g>

-<!-- FLT_X32&#45;&gt;FLT_CON0 -->

-<g id="edge24" class="edge">

-<title>FLT_X32&#45;&gt;FLT_CON0</title>

-<path fill="none" stroke="black" d="M400.41,-463.33C380.48,-443.34 349.72,-412.49 329.47,-392.18"/>

-<polygon fill="black" stroke="black" points="332.11,-389.87 322.57,-385.26 327.15,-394.82 332.11,-389.87"/>

-</g>

-<!-- FLT_CON0&#45;&gt;FLT_CON32 -->

-<!-- FLT_CON0&#45;&gt;FLT_32 -->

-<g id="edge26" class="edge">

-<title>FLT_CON0&#45;&gt;FLT_32</title>

-<path fill="none" stroke="black" d="M321.73,-357.47C339.61,-340.37 372.5,-308.9 395.28,-287.1"/>

-<polygon fill="black" stroke="black" points="397.56,-289.76 402.37,-280.32 392.72,-284.71 397.56,-289.76"/>

-</g>

-<!-- FLT_32&#45;&gt;FLT_BOT -->

-<g id="edge28" class="edge">

-<title>FLT_32&#45;&gt;FLT_BOT</title>

-<path fill="none" stroke="black" d="M438.79,-248.73C476.56,-221.15 561.91,-158.84 606.94,-125.97"/>

-<polygon fill="black" stroke="black" points="608.93,-128.85 614.94,-120.12 604.8,-123.19 608.93,-128.85"/>

-</g>

-<!-- PTR0 -->

-<g id="node23" class="node">

-<title>PTR0</title>

-<polygon fill="none" stroke="none" points="856,-131.25 802,-131.25 802,-78.25 856,-78.25 856,-131.25"/>

-<polygon fill="green" stroke="none" points="811,-104.75 811,-127.25 847,-127.25 847,-104.75 811,-104.75"/>

-<polygon fill="none" stroke="black" points="811,-104.75 811,-127.25 847,-127.25 847,-104.75 811,-104.75"/>

-<text text-anchor="start" x="815.12" y="-110.95" font-family="Times New Roman,serif" font-size="14.00" fill="white">*ptr?</text>

-<polygon fill="lightgreen" stroke="none" points="811,-82.25 811,-104.75 847,-104.75 847,-82.25 811,-82.25"/>

-<polygon fill="none" stroke="black" points="811,-82.25 811,-104.75 847,-104.75 847,-82.25 811,-82.25"/>

-<text text-anchor="start" x="814" y="-88.45" font-family="Times New Roman,serif" font-size="14.00">struct</text>

-</g>

-<!-- PTR&#45;&gt;PTR0 -->

-<g id="edge34" class="edge">

-<title>PTR&#45;&gt;PTR0</title>

-<path fill="none" stroke="black" d="M829,-620.65C829,-532.47 829,-245.72 829,-142.34"/>

-<polygon fill="black" stroke="black" points="832.5,-142.46 829,-132.46 825.5,-142.46 832.5,-142.46"/>

-</g>

-<!-- PTR0&#45;&gt;BOT -->

-<g id="edge35" class="edge">

-<title>PTR0&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M829,-78.37C829,-70.63 829,-62.03 829,-53.93"/>

-<polygon fill="black" stroke="black" points="832.5,-54.09 829,-44.09 825.5,-54.09 832.5,-54.09"/>

-</g>

-<!-- STRUCT_S1 -->

-<g id="node26" class="node">

-<title>STRUCT_S1</title>

-<polygon fill="none" stroke="none" points="979.88,-388.65 894.12,-388.65 894.12,-352.65 979.88,-352.65 979.88,-388.65"/>

-<polygon fill="lightgreen" stroke="none" points="902.12,-359.4 902.12,-381.9 932.88,-381.9 932.88,-359.4 902.12,-359.4"/>

-<polygon fill="none" stroke="black" points="902.12,-359.4 902.12,-381.9 932.88,-381.9 932.88,-359.4 902.12,-359.4"/>

-<text text-anchor="start" x="905.12" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">field</text>

-<defs>

-<linearGradient id="l_0" gradientUnits="userSpaceOnUse" x1="938.59" y1="-378.61" x2="966.16" y2="-362.7" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_0)" stroke="none" points="932.88,-359.4 932.88,-381.9 971.88,-381.9 971.88,-359.4 932.88,-359.4"/>

-<polygon fill="none" stroke="black" points="932.88,-359.4 932.88,-381.9 971.88,-381.9 971.88,-359.4 932.88,-359.4"/>

-<text text-anchor="start" x="935.88" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-</g>

-<!-- STRUCT_TOP&#45;&gt;STRUCT_S1 -->

-<g id="edge37" class="edge">

-<title>STRUCT_TOP&#45;&gt;STRUCT_S1</title>

-<path fill="none" stroke="black" d="M993.06,-628.67C982.89,-581.85 955.66,-456.51 943.28,-399.54"/>

-<polygon fill="black" stroke="black" points="946.74,-398.99 941.19,-389.96 939.9,-400.47 946.74,-398.99"/>

-</g>

-<!-- STRUCT_S2 -->

-<g id="node27" class="node">

-<title>STRUCT_S2</title>

-<polygon fill="none" stroke="none" points="1108.88,-397.15 1023.12,-397.15 1023.12,-344.15 1108.88,-344.15 1108.88,-397.15"/>

-<polygon fill="lightgreen" stroke="none" points="1031.12,-370.65 1031.12,-393.15 1061.88,-393.15 1061.88,-370.65 1031.12,-370.65"/>

-<polygon fill="none" stroke="black" points="1031.12,-370.65 1031.12,-393.15 1061.88,-393.15 1061.88,-370.65 1031.12,-370.65"/>

-<text text-anchor="start" x="1034.12" y="-376.85" font-family="Times New Roman,serif" font-size="14.00">field</text>

-<defs>

-<linearGradient id="l_1" gradientUnits="userSpaceOnUse" x1="1067.59" y1="-389.86" x2="1095.16" y2="-373.95" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_1)" stroke="none" points="1061.88,-370.65 1061.88,-393.15 1100.88,-393.15 1100.88,-370.65 1061.88,-370.65"/>

-<polygon fill="none" stroke="black" points="1061.88,-370.65 1061.88,-393.15 1100.88,-393.15 1100.88,-370.65 1061.88,-370.65"/>

-<text text-anchor="start" x="1064.88" y="-376.85" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-<polygon fill="lightgreen" stroke="none" points="1031.12,-348.15 1031.12,-370.65 1061.88,-370.65 1061.88,-348.15 1031.12,-348.15"/>

-<polygon fill="none" stroke="black" points="1031.12,-348.15 1031.12,-370.65 1061.88,-370.65 1061.88,-348.15 1031.12,-348.15"/>

-<text text-anchor="start" x="1034.12" y="-354.35" font-family="Times New Roman,serif" font-size="14.00">field</text>

-<defs>

-<linearGradient id="l_2" gradientUnits="userSpaceOnUse" x1="1067.59" y1="-367.36" x2="1095.16" y2="-351.45" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_2)" stroke="none" points="1061.88,-348.15 1061.88,-370.65 1100.88,-370.65 1100.88,-348.15 1061.88,-348.15"/>

-<polygon fill="none" stroke="black" points="1061.88,-348.15 1061.88,-370.65 1100.88,-370.65 1100.88,-348.15 1061.88,-348.15"/>

-<text text-anchor="start" x="1064.88" y="-354.35" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-</g>

-<!-- STRUCT_TOP&#45;&gt;STRUCT_S2 -->

-<g id="edge38" class="edge">

-<title>STRUCT_TOP&#45;&gt;STRUCT_S2</title>

-<path fill="none" stroke="black" d="M1001.53,-628.67C1012.68,-584.04 1041.67,-468.04 1056.68,-407.95"/>

-<polygon fill="black" stroke="black" points="1060,-409.09 1059.03,-398.54 1053.21,-407.39 1060,-409.09"/>

-</g>

-<!-- STRUCT_SN -->

-<g id="node28" class="node">

-<title>STRUCT_SN</title>

-<polygon fill="none" stroke="none" points="1237.88,-408.4 1152.12,-408.4 1152.12,-332.9 1237.88,-332.9 1237.88,-408.4"/>

-<polygon fill="lightgreen" stroke="none" points="1160.12,-381.9 1160.12,-404.4 1190.88,-404.4 1190.88,-381.9 1160.12,-381.9"/>

-<polygon fill="none" stroke="black" points="1160.12,-381.9 1160.12,-404.4 1190.88,-404.4 1190.88,-381.9 1160.12,-381.9"/>

-<text text-anchor="start" x="1163.12" y="-388.1" font-family="Times New Roman,serif" font-size="14.00">field</text>

-<defs>

-<linearGradient id="l_3" gradientUnits="userSpaceOnUse" x1="1196.59" y1="-401.11" x2="1224.16" y2="-385.2" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_3)" stroke="none" points="1190.88,-381.9 1190.88,-404.4 1229.88,-404.4 1229.88,-381.9 1190.88,-381.9"/>

-<polygon fill="none" stroke="black" points="1190.88,-381.9 1190.88,-404.4 1229.88,-404.4 1229.88,-381.9 1190.88,-381.9"/>

-<text text-anchor="start" x="1193.88" y="-388.1" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-<polygon fill="lightgreen" stroke="none" points="1160.12,-359.4 1160.12,-381.9 1190.88,-381.9 1190.88,-359.4 1160.12,-359.4"/>

-<polygon fill="none" stroke="black" points="1160.12,-359.4 1160.12,-381.9 1190.88,-381.9 1190.88,-359.4 1160.12,-359.4"/>

-<text text-anchor="start" x="1166.12" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">... &#160;</text>

-<defs>

-<linearGradient id="l_4" gradientUnits="userSpaceOnUse" x1="1196.59" y1="-378.61" x2="1224.16" y2="-362.7" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_4)" stroke="none" points="1190.88,-359.4 1190.88,-381.9 1229.88,-381.9 1229.88,-359.4 1190.88,-359.4"/>

-<polygon fill="none" stroke="black" points="1190.88,-359.4 1190.88,-381.9 1229.88,-381.9 1229.88,-359.4 1190.88,-359.4"/>

-<text text-anchor="start" x="1193.88" y="-365.6" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-<polygon fill="lightgreen" stroke="none" points="1160.12,-336.9 1160.12,-359.4 1190.88,-359.4 1190.88,-336.9 1160.12,-336.9"/>

-<polygon fill="none" stroke="black" points="1160.12,-336.9 1160.12,-359.4 1190.88,-359.4 1190.88,-336.9 1160.12,-336.9"/>

-<text text-anchor="start" x="1163.12" y="-343.1" font-family="Times New Roman,serif" font-size="14.00">field</text>

-<defs>

-<linearGradient id="l_5" gradientUnits="userSpaceOnUse" x1="1196.59" y1="-356.11" x2="1224.16" y2="-340.2" >

-<stop offset="0" style="stop-color:lightblue;stop-opacity:1.;"/>

-<stop offset="1" style="stop-color:green;stop-opacity:1.;"/>

-</linearGradient>

-</defs>

-<polygon fill="url(#l_5)" stroke="none" points="1190.88,-336.9 1190.88,-359.4 1229.88,-359.4 1229.88,-336.9 1190.88,-336.9"/>

-<polygon fill="none" stroke="black" points="1190.88,-336.9 1190.88,-359.4 1229.88,-359.4 1229.88,-336.9 1190.88,-336.9"/>

-<text text-anchor="start" x="1193.88" y="-343.1" font-family="Times New Roman,serif" font-size="14.00">int/ptr</text>

-</g>

-<!-- STRUCT_TOP&#45;&gt;STRUCT_SN -->

-<g id="edge39" class="edge">

-<title>STRUCT_TOP&#45;&gt;STRUCT_SN</title>

-<path fill="none" stroke="black" d="M1009.69,-629.1C1039.89,-586.98 1116.85,-479.64 1161.52,-417.35"/>

-<polygon fill="black" stroke="black" points="1164.27,-419.52 1167.25,-409.35 1158.58,-415.44 1164.27,-419.52"/>

-</g>

-<!-- STRUCT_BOT -->

-<g id="node25" class="node">

-<title>STRUCT_BOT</title>

-<ellipse fill="lightgreen" stroke="black" cx="995" cy="-104.75" rx="44.7" ry="18"/>

-<text text-anchor="start" x="970.25" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

-<text text-anchor="start" x="986" y="-100.7" font-family="Times New Roman,serif" font-size="14.00">:struct</text>

-</g>

-<!-- STRUCT_BOT&#45;&gt;BOT -->

-<g id="edge43" class="edge">

-<title>STRUCT_BOT&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M967.59,-90.27C937.27,-75.36 888.65,-51.46 857.79,-36.28"/>

-<polygon fill="black" stroke="black" points="859.56,-33.25 849.04,-31.98 856.47,-39.53 859.56,-33.25"/>

-</g>

-<!-- STRUCT_S1&#45;&gt;STRUCT_BOT -->

-<g id="edge40" class="edge">

-<title>STRUCT_S1&#45;&gt;STRUCT_BOT</title>

-<path fill="none" stroke="black" d="M940.9,-352.79C950.72,-307.77 976.56,-189.3 988.62,-133.98"/>

-<polygon fill="black" stroke="black" points="992.01,-134.88 990.72,-124.36 985.17,-133.38 992.01,-134.88"/>

-</g>

-<!-- STRUCT_S1&#45;&gt;STRUCT_S2 -->

-<!-- STRUCT_S2&#45;&gt;STRUCT_BOT -->

-<g id="edge41" class="edge">

-<title>STRUCT_S2&#45;&gt;STRUCT_BOT</title>

-<path fill="none" stroke="black" d="M1058.93,-344.18C1045.59,-294.22 1016.79,-186.34 1002.86,-134.18"/>

-<polygon fill="black" stroke="black" points="1006.24,-133.28 1000.28,-124.52 999.48,-135.08 1006.24,-133.28"/>

-</g>

-<!-- STRUCT_S2&#45;&gt;STRUCT_SN -->

-<!-- STRUCT_SN&#45;&gt;STRUCT_BOT -->

-<g id="edge42" class="edge">

-<title>STRUCT_SN&#45;&gt;STRUCT_BOT</title>

-<path fill="none" stroke="black" d="M1166.77,-333.12C1125.77,-278.61 1050.75,-178.87 1014.99,-131.32"/>

-<polygon fill="black" stroke="black" points="1017.9,-129.37 1009.09,-123.48 1012.3,-133.58 1017.9,-129.37"/>

-</g>

-<!-- MEM_ALIAS1 -->

-<g id="node31" class="node">

-<title>MEM_ALIAS1</title>

-<ellipse fill="blue" stroke="black" cx="1301" cy="-370.65" rx="20.13" ry="20.13"/>

-<text text-anchor="middle" x="1301" y="-365.6" font-family="Times New Roman,serif" font-size="14.00" fill="white">#1</text>

-</g>

-<!-- MEM_TOP&#45;&gt;MEM_ALIAS1 -->

-<g id="edge47" class="edge">

-<title>MEM_TOP&#45;&gt;MEM_ALIAS1</title>

-<path fill="none" stroke="black" d="M1343.05,-628.67C1335.53,-582.52 1315.58,-460.09 1306.11,-402.04"/>

-<polygon fill="black" stroke="black" points="1309.57,-401.48 1304.51,-392.17 1302.66,-402.6 1309.57,-401.48"/>

-</g>

-<!-- MEM_ALIASDOTS -->

-<g id="node32" class="node">

-<title>MEM_ALIASDOTS</title>

-<ellipse fill="blue" stroke="black" cx="1391" cy="-370.65" rx="27" ry="18"/>

-<text text-anchor="middle" x="1391" y="-365.6" font-family="Times New Roman,serif" font-size="14.00" fill="white">...</text>

-</g>

-<!-- MEM_TOP&#45;&gt;MEM_ALIASDOTS -->

-<g id="edge48" class="edge">

-<title>MEM_TOP&#45;&gt;MEM_ALIASDOTS</title>

-<path fill="none" stroke="black" d="M1348.95,-628.67C1356.56,-581.96 1376.91,-457.11 1386.23,-399.95"/>

-<polygon fill="black" stroke="black" points="1389.64,-400.76 1387.79,-390.33 1382.73,-399.64 1389.64,-400.76"/>

-</g>

-<!-- MEM_ALIASN -->

-<g id="node33" class="node">

-<title>MEM_ALIASN</title>

-<ellipse fill="blue" stroke="black" cx="1481" cy="-370.65" rx="20.13" ry="20.13"/>

-<text text-anchor="middle" x="1481" y="-365.6" font-family="Times New Roman,serif" font-size="14.00" fill="white">#n</text>

-</g>

-<!-- MEM_TOP&#45;&gt;MEM_ALIASN -->

-<g id="edge49" class="edge">

-<title>MEM_TOP&#45;&gt;MEM_ALIASN</title>

-<path fill="none" stroke="black" d="M1354.86,-628.67C1377.84,-581.67 1439.5,-455.54 1467.2,-398.89"/>

-<polygon fill="black" stroke="black" points="1470.2,-400.72 1471.44,-390.2 1463.91,-397.64 1470.2,-400.72"/>

-</g>

-<!-- MEM_BOT -->

-<g id="node30" class="node">

-<title>MEM_BOT</title>

-<ellipse fill="blue" stroke="black" cx="1346" cy="-104.75" rx="43.67" ry="18"/>

-<text text-anchor="start" x="1322" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00" fill="white">⊥</text>

-<text text-anchor="start" x="1337.75" y="-100.7" font-family="Times New Roman,serif" font-size="14.00" fill="white">:mem</text>

-</g>

-<!-- MEM_BOT&#45;&gt;BOT -->

-<g id="edge53" class="edge">

-<title>MEM_BOT&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M1305.86,-97.41C1206.64,-81.75 951.34,-41.44 861.15,-27.2"/>

-<polygon fill="black" stroke="black" points="861.94,-23.78 851.52,-25.68 860.85,-30.7 861.94,-23.78"/>

-</g>

-<!-- MEM_ALIAS1&#45;&gt;MEM_BOT -->

-<g id="edge50" class="edge">

-<title>MEM_ALIAS1&#45;&gt;MEM_BOT</title>

-<path fill="none" stroke="black" d="M1304.38,-350.67C1312.23,-304.29 1331.71,-189.17 1340.97,-134.49"/>

-<polygon fill="black" stroke="black" points="1344.41,-135.12 1342.63,-124.67 1337.51,-133.95 1344.41,-135.12"/>

-</g>

-<!-- MEM_ALIAS1&#45;&gt;MEM_ALIASDOTS -->

-<!-- MEM_ALIASDOTS&#45;&gt;MEM_BOT -->

-<g id="edge51" class="edge">

-<title>MEM_ALIASDOTS&#45;&gt;MEM_BOT</title>

-<path fill="none" stroke="black" d="M1387.91,-352.38C1380.25,-307.12 1360.35,-189.52 1350.99,-134.26"/>

-<polygon fill="black" stroke="black" points="1354.49,-133.92 1349.37,-124.65 1347.58,-135.09 1354.49,-133.92"/>

-</g>

-<!-- MEM_ALIASDOTS&#45;&gt;MEM_ALIASN -->

-<!-- MEM_ALIASN&#45;&gt;MEM_BOT -->

-<g id="edge52" class="edge">

-<title>MEM_ALIASN&#45;&gt;MEM_BOT</title>

-<path fill="none" stroke="black" d="M1471.72,-352.38C1448.54,-306.73 1388,-187.47 1360.26,-132.83"/>

-<polygon fill="black" stroke="black" points="1363.5,-131.48 1355.85,-124.15 1357.26,-134.65 1363.5,-131.48"/>

-</g>

-<!-- TUPLE1 -->

-<g id="node36" class="node">

-<title>TUPLE1</title>

-<polygon fill="none" stroke="none" points="1598,-397.15 1544,-397.15 1544,-344.15 1598,-344.15 1598,-397.15"/>

-<polygon fill="pink" stroke="none" points="1552.25,-370.65 1552.25,-393.15 1589.75,-393.15 1589.75,-370.65 1552.25,-370.65"/>

-<polygon fill="none" stroke="black" points="1552.25,-370.65 1552.25,-393.15 1589.75,-393.15 1589.75,-370.65 1552.25,-370.65"/>

-<text text-anchor="start" x="1555.25" y="-376.85" font-family="Times New Roman,serif" font-size="14.00">Tuple</text>

-<polygon fill="black" stroke="none" points="1552.25,-348.15 1552.25,-370.65 1589.75,-370.65 1589.75,-348.15 1552.25,-348.15"/>

-<polygon fill="none" stroke="black" points="1552.25,-348.15 1552.25,-370.65 1589.75,-370.65 1589.75,-348.15 1552.25,-348.15"/>

-<text text-anchor="start" x="1559.38" y="-354.35" font-family="Times New Roman,serif" font-size="14.00" fill="white">type</text>

-</g>

-<!-- TUPLE_TOP&#45;&gt;TUPLE1 -->

-<g id="edge57" class="edge">

-<title>TUPLE_TOP&#45;&gt;TUPLE1</title>

-<path fill="none" stroke="black" d="M1615.85,-628.67C1608.11,-584.13 1588.01,-468.52 1577.55,-408.33"/>

-<polygon fill="black" stroke="black" points="1581.01,-407.81 1575.85,-398.56 1574.12,-409.01 1581.01,-407.81"/>

-</g>

-<!-- TUPLE2 -->

-<g id="node37" class="node">

-<title>TUPLE2</title>

-<polygon fill="none" stroke="none" points="1695,-408.4 1641,-408.4 1641,-332.9 1695,-332.9 1695,-408.4"/>

-<polygon fill="pink" stroke="none" points="1649.25,-381.9 1649.25,-404.4 1686.75,-404.4 1686.75,-381.9 1649.25,-381.9"/>

-<polygon fill="none" stroke="black" points="1649.25,-381.9 1649.25,-404.4 1686.75,-404.4 1686.75,-381.9 1649.25,-381.9"/>

-<text text-anchor="start" x="1652.25" y="-388.1" font-family="Times New Roman,serif" font-size="14.00">Tuple</text>

-<polygon fill="black" stroke="none" points="1649.25,-359.4 1649.25,-381.9 1686.75,-381.9 1686.75,-359.4 1649.25,-359.4"/>

-<polygon fill="none" stroke="black" points="1649.25,-359.4 1649.25,-381.9 1686.75,-381.9 1686.75,-359.4 1649.25,-359.4"/>

-<text text-anchor="start" x="1656.38" y="-365.6" font-family="Times New Roman,serif" font-size="14.00" fill="white">type</text>

-<polygon fill="black" stroke="none" points="1649.25,-336.9 1649.25,-359.4 1686.75,-359.4 1686.75,-336.9 1649.25,-336.9"/>

-<polygon fill="none" stroke="black" points="1649.25,-336.9 1649.25,-359.4 1686.75,-359.4 1686.75,-336.9 1649.25,-336.9"/>

-<text text-anchor="start" x="1656.38" y="-343.1" font-family="Times New Roman,serif" font-size="14.00" fill="white">type</text>

-</g>

-<!-- TUPLE_TOP&#45;&gt;TUPLE2 -->

-<g id="edge58" class="edge">

-<title>TUPLE_TOP&#45;&gt;TUPLE2</title>

-<path fill="none" stroke="black" d="M1622.22,-628.67C1629.67,-586.65 1648.35,-481.4 1659.41,-419.08"/>

-<polygon fill="black" stroke="black" points="1662.81,-419.91 1661.11,-409.46 1655.92,-418.69 1662.81,-419.91"/>

-</g>

-<!-- TUPLEN -->

-<g id="node38" class="node">

-<title>TUPLEN</title>

-<polygon fill="none" stroke="none" points="1792,-419.65 1738,-419.65 1738,-321.65 1792,-321.65 1792,-419.65"/>

-<polygon fill="pink" stroke="none" points="1746.25,-393.15 1746.25,-415.65 1783.75,-415.65 1783.75,-393.15 1746.25,-393.15"/>

-<polygon fill="none" stroke="black" points="1746.25,-393.15 1746.25,-415.65 1783.75,-415.65 1783.75,-393.15 1746.25,-393.15"/>

-<text text-anchor="start" x="1749.25" y="-399.35" font-family="Times New Roman,serif" font-size="14.00">Tuple</text>

-<polygon fill="black" stroke="none" points="1746.25,-370.65 1746.25,-393.15 1783.75,-393.15 1783.75,-370.65 1746.25,-370.65"/>

-<polygon fill="none" stroke="black" points="1746.25,-370.65 1746.25,-393.15 1783.75,-393.15 1783.75,-370.65 1746.25,-370.65"/>

-<text text-anchor="start" x="1753.38" y="-376.85" font-family="Times New Roman,serif" font-size="14.00" fill="white">type</text>

-<polygon fill="black" stroke="none" points="1746.25,-348.15 1746.25,-370.65 1783.75,-370.65 1783.75,-348.15 1746.25,-348.15"/>

-<polygon fill="none" stroke="black" points="1746.25,-348.15 1746.25,-370.65 1783.75,-370.65 1783.75,-348.15 1746.25,-348.15"/>

-<text text-anchor="start" x="1759.38" y="-354.35" font-family="Times New Roman,serif" font-size="14.00" fill="white">...</text>

-<polygon fill="black" stroke="none" points="1746.25,-325.65 1746.25,-348.15 1783.75,-348.15 1783.75,-325.65 1746.25,-325.65"/>

-<polygon fill="none" stroke="black" points="1746.25,-325.65 1746.25,-348.15 1783.75,-348.15 1783.75,-325.65 1746.25,-325.65"/>

-<text text-anchor="start" x="1753.38" y="-331.85" font-family="Times New Roman,serif" font-size="14.00" fill="white">type</text>

-</g>

-<!-- TUPLE_TOP&#45;&gt;TUPLEN -->

-<g id="edge59" class="edge">

-<title>TUPLE_TOP&#45;&gt;TUPLEN</title>

-<path fill="none" stroke="black" d="M1628.36,-629.1C1649.26,-589.55 1700.57,-492.51 1734.02,-429.24"/>

-<polygon fill="black" stroke="black" points="1736.95,-431.2 1738.53,-420.73 1730.76,-427.93 1736.95,-431.2"/>

-</g>

-<!-- TUPLE_BOT -->

-<g id="node35" class="node">

-<title>TUPLE_BOT</title>

-<ellipse fill="pink" stroke="black" cx="1619" cy="-104.75" rx="42.65" ry="18"/>

-<text text-anchor="start" x="1595.75" y="-100.7" font-family="Times New Roman,serif" font-weight="bold" font-size="14.00">⊥</text>

-<text text-anchor="start" x="1611.5" y="-100.7" font-family="Times New Roman,serif" font-size="14.00">:tuple</text>

-</g>

-<!-- TUPLE_BOT&#45;&gt;BOT -->

-<g id="edge63" class="edge">

-<title>TUPLE_BOT&#45;&gt;BOT</title>

-<path fill="none" stroke="black" d="M1577.91,-99.5C1438.76,-85.13 986.93,-38.44 861.54,-25.49"/>

-<polygon fill="black" stroke="black" points="861.93,-22.01 851.62,-24.46 861.21,-28.97 861.93,-22.01"/>

-</g>

-<!-- TUPLE1&#45;&gt;TUPLE_BOT -->

-<g id="edge60" class="edge">

-<title>TUPLE1&#45;&gt;TUPLE_BOT</title>

-<path fill="none" stroke="black" d="M1575.78,-344.18C1584.8,-294.22 1604.27,-186.34 1613.69,-134.18"/>

-<polygon fill="black" stroke="black" points="1617.09,-135.01 1615.43,-124.55 1610.21,-133.77 1617.09,-135.01"/>

-</g>

-<!-- TUPLE2&#45;&gt;TUPLE_BOT -->

-<g id="edge61" class="edge">

-<title>TUPLE2&#45;&gt;TUPLE_BOT</title>

-<path fill="none" stroke="black" d="M1661.08,-333.12C1651.23,-279.67 1633.37,-182.73 1624.42,-134.16"/>

-<polygon fill="black" stroke="black" points="1627.87,-133.59 1622.62,-124.39 1620.99,-134.86 1627.87,-133.59"/>

-</g>

-<!-- TUPLEN&#45;&gt;TUPLE_BOT -->

-<g id="edge62" class="edge">

-<title>TUPLEN&#45;&gt;TUPLE_BOT</title>

-<path fill="none" stroke="black" d="M1738.22,-321.88C1707.66,-266.22 1658.74,-177.12 1634.15,-132.34"/>

-<polygon fill="black" stroke="black" points="1637.34,-130.87 1629.45,-123.79 1631.2,-134.24 1637.34,-130.87"/>

-</g>

-</g>

-</svg>

+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 12.2.0 (20241103.1931)
+ -->
+<!-- Title: Lattice Pages: 1 -->
+<svg width="2287pt" height="811pt"
+ viewBox="0.00 0.00 2287.00 810.78" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 806.78)">
+<title>Lattice</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-806.78 2283,-806.78 2283,4 -4,4"/>
+<g id="clust1" class="cluster">
+<title>cluster_control</title>
+<polygon fill="none" stroke="#cccccc" points="8,-85.99 8,-732.04 98,-732.04 98,-85.99 8,-85.99"/>
+<text text-anchor="middle" x="53" y="-714.74" font-family="Arial" font-size="14.00">Control</text>
+</g>
+<g id="clust2" class="cluster">
+<title>cluster_integer</title>
+<polygon fill="none" stroke="#cccccc" points="106,-85.99 106,-732.04 372,-732.04 372,-85.99 106,-85.99"/>
+<text text-anchor="middle" x="239" y="-714.74" font-family="Arial" font-size="14.00">Integer ranges (schematic)</text>
+</g>
+<g id="clust4" class="cluster">
+<title>cluster_float</title>
+<polygon fill="none" stroke="#cccccc" points="380,-85.99 380,-732.04 864,-732.04 864,-85.99 380,-85.99"/>
+<text text-anchor="middle" x="622" y="-714.74" font-family="Arial" font-size="14.00">Float</text>
+</g>
+<g id="clust6" class="cluster">
+<title>cluster_pointer</title>
+<polygon fill="none" stroke="#cccccc" points="872,-75 872,-743.03 1353,-743.03 1353,-75 872,-75"/>
+<text text-anchor="middle" x="1112.5" y="-725.73" font-family="Arial" font-size="14.00">Pointer = nullability × struct type</text>
+</g>
+<g id="clust13" class="cluster">
+<title>cluster_struct</title>
+<polygon fill="none" stroke="#cccccc" points="1361,-75 1361,-758.78 1697,-758.78 1697,-75 1361,-75"/>
+<text text-anchor="middle" x="1529" y="-741.48" font-family="Arial" font-size="14.00">Struct</text>
+<text text-anchor="middle" x="1529" y="-725.73" font-family="Arial" font-size="14.00">named collection of named scalar types</text>
+</g>
+<g id="clust17" class="cluster">
+<title>cluster_memory</title>
+<polygon fill="none" stroke="#cccccc" points="1705,-85.99 1705,-747.79 1987,-747.79 1987,-85.99 1705,-85.99"/>
+<text text-anchor="middle" x="1846" y="-730.49" font-family="Arial" font-size="14.00">Memory</text>
+<text text-anchor="middle" x="1846" y="-714.74" font-family="Arial" font-size="14.00">precise alias slices</text>
+</g>
+<g id="clust21" class="cluster">
+<title>cluster_tuple</title>
+<polygon fill="none" stroke="#cccccc" points="1995,-85.99 1995,-747.79 2271,-747.79 2271,-85.99 1995,-85.99"/>
+<text text-anchor="middle" x="2133" y="-730.49" font-family="Arial" font-size="14.00">Tuple</text>
+<text text-anchor="middle" x="2133" y="-714.74" font-family="Arial" font-size="14.00">collection of types</text>
+</g>
+<!-- TOP -->
+<g id="node1" class="node">
+<title>TOP</title>
+<ellipse fill="black" stroke="black" cx="1093" cy="-784.78" rx="27" ry="18"/>
+<text text-anchor="middle" x="1093" y="-780.68" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤</text>
+</g>
+<!-- XCTRL -->
+<g id="node3" class="node">
+<title>XCTRL</title>
+<ellipse fill="#ffff00" stroke="black" cx="53" cy="-682.29" rx="36.51" ry="18"/>
+<text text-anchor="middle" x="53" y="-678.19" font-family="DejaVu Sans" font-size="13.00">⊤:ctrl</text>
+</g>
+<!-- TOP&#45;&gt;XCTRL -->
+<g id="edge77" class="edge">
+<title>TOP&#45;&gt;XCTRL</title>
+<path fill="none" stroke="#555555" d="M1065.75,-783.81C910.7,-783.87 145.18,-782.94 102,-758.78 82.14,-747.67 69.01,-724.76 61.39,-707.08"/>
+<polygon fill="#555555" stroke="#555555" points="63.43,-706.52 59.22,-701.76 59.54,-708.1 63.43,-706.52"/>
+</g>
+<!-- INT_TOP -->
+<g id="node5" class="node">
+<title>INT_TOP</title>
+<ellipse fill="lightblue" stroke="black" cx="330" cy="-682.29" rx="33.95" ry="18"/>
+<text text-anchor="start" x="313.12" y="-679.19" font-family="DejaVu Sans" font-weight="bold" font-size="13.00">⊤</text>
+<text text-anchor="start" x="325.12" y="-679.19" font-family="DejaVu Sans" font-size="13.00">:int</text>
+</g>
+<!-- TOP&#45;&gt;INT_TOP -->
+<g id="edge78" class="edge">
+<title>TOP&#45;&gt;INT_TOP</title>
+<path fill="none" stroke="#555555" d="M1065.76,-783.55C938.37,-782.39 406.27,-776.49 376,-758.78 356.7,-747.5 344.47,-724.61 337.51,-706.98"/>
+<polygon fill="#555555" stroke="#555555" points="339.61,-706.59 335.55,-701.7 335.67,-708.05 339.61,-706.59"/>
+</g>
+<!-- FLT_TOP -->
+<g id="node14" class="node">
+<title>FLT_TOP</title>
+<ellipse fill="aqua" stroke="black" cx="720" cy="-682.29" rx="31.39" ry="18"/>
+<text text-anchor="start" x="705" y="-679.19" font-family="DejaVu Sans" font-weight="bold" font-size="13.00">⊤</text>
+<text text-anchor="start" x="717" y="-679.19" font-family="DejaVu Sans" font-size="13.00">:flt</text>
+</g>
+<!-- TOP&#45;&gt;FLT_TOP -->
+<g id="edge79" class="edge">
+<title>TOP&#45;&gt;FLT_TOP</title>
+<path fill="none" stroke="#555555" d="M1065.71,-783.88C1022.73,-783.35 937.09,-779.49 868,-758.78 822.79,-745.23 774.91,-718.16 746.24,-700.39"/>
+<polygon fill="#555555" stroke="#555555" points="747.56,-698.74 741.36,-697.33 745.33,-702.3 747.56,-698.74"/>
+</g>
+<!-- PTR_TOP -->
+<g id="node22" class="node">
+<title>PTR_TOP</title>
+<ellipse fill="#008000" stroke="black" cx="1093" cy="-682.29" rx="61.7" ry="28.99"/>
+<text text-anchor="middle" x="1093" y="-686.44" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:ptr</text>
+<text text-anchor="middle" x="1093" y="-669.94" font-family="DejaVu Sans" font-size="13.00" fill="white">[*⊤:struct]</text>
+</g>
+<!-- TOP&#45;&gt;PTR_TOP -->
+<g id="edge80" class="edge">
+<title>TOP&#45;&gt;PTR_TOP</title>
+<path fill="none" stroke="#555555" d="M1093,-766.74C1093,-753.62 1093,-735.05 1093,-718.76"/>
+<polygon fill="#555555" stroke="#555555" points="1095.1,-718.97 1093,-712.97 1090.9,-718.97 1095.1,-718.97"/>
+</g>
+<!-- STRUCT_TOP -->
+<g id="node32" class="node">
+<title>STRUCT_TOP</title>
+<ellipse fill="#90ee90" stroke="black" cx="1480" cy="-682.29" rx="64.35" ry="28.99"/>
+<text text-anchor="middle" x="1480" y="-686.44" font-family="DejaVu Sans" font-size="13.00">⊤:struct</text>
+<text text-anchor="middle" x="1480" y="-669.94" font-family="DejaVu Sans" font-size="13.00">[struct top]</text>
+</g>
+<!-- TOP&#45;&gt;STRUCT_TOP -->
+<g id="edge81" class="edge">
+<title>TOP&#45;&gt;STRUCT_TOP</title>
+<path fill="none" stroke="#555555" d="M1119.97,-782.78C1178.13,-780.35 1313.55,-773.3 1357,-758.78 1388.2,-748.36 1419.74,-728.78 1443.07,-712.17"/>
+<polygon fill="#555555" stroke="#555555" points="1444.26,-713.9 1447.9,-708.68 1441.8,-710.49 1444.26,-713.9"/>
+</g>
+<!-- MEM_TOP -->
+<g id="node38" class="node">
+<title>MEM_TOP</title>
+<ellipse fill="#00008b" stroke="black" cx="1807" cy="-682.29" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="1807" y="-678.19" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:mem</text>
+</g>
+<!-- TOP&#45;&gt;MEM_TOP -->
+<g id="edge82" class="edge">
+<title>TOP&#45;&gt;MEM_TOP</title>
+<path fill="none" stroke="#555555" d="M1120.14,-783.58C1230.92,-782.61 1645.66,-777.74 1701,-758.78 1734.02,-747.47 1765.78,-722.33 1785.79,-704.16"/>
+<polygon fill="#555555" stroke="#555555" points="1787.02,-705.88 1790,-700.26 1784.17,-702.8 1787.02,-705.88"/>
+</g>
+<!-- TUPLE_TOP -->
+<g id="node43" class="node">
+<title>TUPLE_TOP</title>
+<ellipse fill="#ffc0cb" stroke="black" cx="2048" cy="-682.29" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="2048" y="-678.19" font-family="DejaVu Sans" font-size="13.00">⊤:tuple</text>
+</g>
+<!-- TOP&#45;&gt;TUPLE_TOP -->
+<g id="edge83" class="edge">
+<title>TOP&#45;&gt;TUPLE_TOP</title>
+<path fill="none" stroke="#555555" d="M1120.01,-783.69C1265.56,-783.09 1951.36,-779.22 1991,-758.78 2012.45,-747.73 2028.06,-724.49 2037.46,-706.7"/>
+<polygon fill="#555555" stroke="#555555" points="2039.12,-708.07 2039.96,-701.77 2035.37,-706.17 2039.12,-708.07"/>
+</g>
+<!-- BOT -->
+<g id="node2" class="node">
+<title>BOT</title>
+<ellipse fill="black" stroke="black" cx="1158" cy="-18" rx="27" ry="18"/>
+<text text-anchor="middle" x="1158" y="-13.9" font-family="DejaVu Sans" font-size="13.00" fill="white">⊥</text>
+</g>
+<!-- CTRL -->
+<g id="node4" class="node">
+<title>CTRL</title>
+<ellipse fill="#ffff00" stroke="black" cx="53" cy="-111.99" rx="36.51" ry="18"/>
+<text text-anchor="middle" x="53" y="-107.89" font-family="DejaVu Sans" font-size="13.00">⊥:ctrl</text>
+</g>
+<!-- XCTRL&#45;&gt;CTRL -->
+<g id="edge1" class="edge">
+<title>XCTRL&#45;&gt;CTRL</title>
+<path fill="none" stroke="#555555" d="M53,-663.84C53,-629.39 53,-550.21 53,-483.64 53,-483.64 53,-483.64 53,-292.98 53,-237.49 53,-172.38 53,-137.7"/>
+<polygon fill="#555555" stroke="#555555" points="55.1,-137.88 53,-131.88 50.9,-137.88 55.1,-137.88"/>
+</g>
+<!-- XCTRL&#45;&gt;INT_TOP -->
+<!-- CTRL&#45;&gt;BOT -->
+<g id="edge84" class="edge">
+<title>CTRL&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M68.82,-95.67C77.79,-87.99 89.68,-79.4 102,-75 199.9,-40.01 951.33,-23.1 1123.11,-19.66"/>
+<polygon fill="#555555" stroke="#555555" points="1123.14,-21.76 1129.1,-19.55 1123.06,-17.57 1123.14,-21.76"/>
+</g>
+<!-- INT_HI -->
+<g id="node7" class="node">
+<title>INT_HI</title>
+<ellipse fill="lightblue" stroke="black" cx="303" cy="-588.3" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="303" y="-584.2" font-family="DejaVu Sans" font-size="13.00">max &lt; min</text>
+</g>
+<!-- INT_TOP&#45;&gt;INT_HI -->
+<g id="edge2" class="edge">
+<title>INT_TOP&#45;&gt;INT_HI</title>
+<path fill="none" stroke="#555555" d="M325.05,-664.42C320.88,-650.2 314.85,-629.69 310.16,-613.69"/>
+<polygon fill="#555555" stroke="#555555" points="312.24,-613.31 308.53,-608.14 308.21,-614.49 312.24,-613.31"/>
+</g>
+<!-- INT_TOP&#45;&gt;FLT_TOP -->
+<!-- INT_BOT -->
+<g id="node6" class="node">
+<title>INT_BOT</title>
+<ellipse fill="lightblue" stroke="black" cx="316" cy="-111.99" rx="33.95" ry="18"/>
+<text text-anchor="start" x="299.12" y="-108.89" font-family="DejaVu Sans" font-weight="bold" font-size="13.00">⊥</text>
+<text text-anchor="start" x="311.12" y="-108.89" font-family="DejaVu Sans" font-size="13.00">:int</text>
+</g>
+<!-- INT_BOT&#45;&gt;BOT -->
+<g id="edge85" class="edge">
+<title>INT_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M334.62,-96.69C345.94,-88.82 361.06,-79.72 376,-75 518.37,-30.04 991.01,-21.01 1123.31,-19.35"/>
+<polygon fill="#555555" stroke="#555555" points="1123.32,-21.45 1129.3,-19.28 1123.27,-17.25 1123.32,-21.45"/>
+</g>
+<!-- INT_XBOOL -->
+<g id="node8" class="node">
+<title>INT_XBOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-482.64" rx="31.39" ry="18"/>
+<text text-anchor="middle" x="211" y="-478.54" font-family="DejaVu Sans" font-size="13.00">1...0</text>
+</g>
+<!-- INT_HI&#45;&gt;INT_XBOOL -->
+<g id="edge3" class="edge">
+<title>INT_HI&#45;&gt;INT_XBOOL</title>
+<path fill="none" stroke="#555555" d="M288.22,-570.65C272.25,-552.65 246.77,-523.94 229.48,-504.47"/>
+<polygon fill="#555555" stroke="#555555" points="231.4,-503.46 225.85,-500.37 228.26,-506.25 231.4,-503.46"/>
+</g>
+<!-- INT_CON -->
+<g id="node9" class="node">
+<title>INT_CON</title>
+<ellipse fill="lightblue" stroke="black" cx="309" cy="-376.98" rx="54.93" ry="18"/>
+<text text-anchor="middle" x="309" y="-372.88" font-family="DejaVu Sans" font-size="13.00">constants</text>
+</g>
+<!-- INT_HI&#45;&gt;INT_CON -->
+<g id="edge6" class="edge">
+<title>INT_HI&#45;&gt;INT_CON</title>
+<path fill="none" stroke="#555555" d="M303.5,-569.81C304.57,-532.63 307.06,-445.61 308.29,-402.74"/>
+<polygon fill="#555555" stroke="#555555" points="310.39,-402.84 308.46,-396.78 306.19,-402.72 310.39,-402.84"/>
+</g>
+<!-- INT_CON0 -->
+<g id="node10" class="node">
+<title>INT_CON0</title>
+<ellipse fill="lightblue" stroke="black" cx="141" cy="-376.98" rx="27" ry="18"/>
+<text text-anchor="middle" x="141" y="-372.88" font-family="DejaVu Sans" font-size="13.00">0</text>
+</g>
+<!-- INT_XBOOL&#45;&gt;INT_CON0 -->
+<g id="edge4" class="edge">
+<title>INT_XBOOL&#45;&gt;INT_CON0</title>
+<path fill="none" stroke="#555555" d="M200.06,-465.44C188.13,-447.77 168.95,-419.38 155.71,-399.76"/>
+<polygon fill="#555555" stroke="#555555" points="157.58,-398.78 152.48,-394.98 154.1,-401.13 157.58,-398.78"/>
+</g>
+<!-- INT_CON1 -->
+<g id="node11" class="node">
+<title>INT_CON1</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-376.98" rx="27" ry="18"/>
+<text text-anchor="middle" x="211" y="-372.88" font-family="DejaVu Sans" font-size="13.00">1</text>
+</g>
+<!-- INT_XBOOL&#45;&gt;INT_CON1 -->
+<g id="edge5" class="edge">
+<title>INT_XBOOL&#45;&gt;INT_CON1</title>
+<path fill="none" stroke="#555555" d="M211,-464.52C211,-447.74 211,-421.98 211,-402.93"/>
+<polygon fill="#555555" stroke="#555555" points="213.1,-402.99 211,-396.99 208.9,-402.99 213.1,-402.99"/>
+</g>
+<!-- INT_LO -->
+<g id="node13" class="node">
+<title>INT_LO</title>
+<ellipse fill="lightblue" stroke="black" cx="303" cy="-208.48" rx="61.08" ry="18"/>
+<text text-anchor="middle" x="303" y="-204.38" font-family="DejaVu Sans" font-size="13.00">max &gt; min</text>
+</g>
+<!-- INT_CON&#45;&gt;INT_LO -->
+<g id="edge10" class="edge">
+<title>INT_CON&#45;&gt;INT_LO</title>
+<path fill="none" stroke="#555555" d="M308.38,-358.79C307.31,-329.13 305.12,-268.24 303.89,-234.09"/>
+<polygon fill="#555555" stroke="#555555" points="305.99,-234.26 303.68,-228.34 301.8,-234.41 305.99,-234.26"/>
+</g>
+<!-- INT_CON0&#45;&gt;INT_CON1 -->
+<!-- INT_BOOL -->
+<g id="node12" class="node">
+<title>INT_BOOL</title>
+<ellipse fill="lightblue" stroke="black" cx="211" cy="-293.98" rx="31.39" ry="18"/>
+<text text-anchor="middle" x="211" y="-289.88" font-family="DejaVu Sans" font-size="13.00">0...1</text>
+</g>
+<!-- INT_CON0&#45;&gt;INT_BOOL -->
+<g id="edge7" class="edge">
+<title>INT_CON0&#45;&gt;INT_BOOL</title>
+<path fill="none" stroke="#555555" d="M154.17,-360.75C165.07,-348.12 180.69,-330.05 192.8,-316.04"/>
+<polygon fill="#555555" stroke="#555555" points="194.09,-317.76 196.43,-311.85 190.91,-315.01 194.09,-317.76"/>
+</g>
+<!-- INT_CON1&#45;&gt;INT_CON -->
+<!-- INT_CON1&#45;&gt;INT_BOOL -->
+<g id="edge8" class="edge">
+<title>INT_CON1&#45;&gt;INT_BOOL</title>
+<path fill="none" stroke="#555555" d="M211,-358.8C211,-347.5 211,-332.51 211,-319.9"/>
+<polygon fill="#555555" stroke="#555555" points="213.1,-319.93 211,-313.93 208.9,-319.93 213.1,-319.93"/>
+</g>
+<!-- INT_BOOL&#45;&gt;INT_LO -->
+<g id="edge9" class="edge">
+<title>INT_BOOL&#45;&gt;INT_LO</title>
+<path fill="none" stroke="#555555" d="M227.03,-278.44C241.55,-265.26 263.13,-245.67 279.59,-230.73"/>
+<polygon fill="#555555" stroke="#555555" points="280.8,-232.47 283.83,-226.88 277.98,-229.36 280.8,-232.47"/>
+</g>
+<!-- INT_LO&#45;&gt;INT_BOT -->
+<g id="edge11" class="edge">
+<title>INT_LO&#45;&gt;INT_BOT</title>
+<path fill="none" stroke="#555555" d="M305.38,-190.15C307.42,-175.37 310.37,-153.94 312.64,-137.42"/>
+<polygon fill="#555555" stroke="#555555" points="314.69,-137.94 313.42,-131.71 310.53,-137.37 314.69,-137.94"/>
+</g>
+<!-- FLT_CON64 -->
+<g id="node16" class="node">
+<title>FLT_CON64</title>
+<ellipse fill="aqua" stroke="black" cx="790" cy="-482.64" rx="65.94" ry="40.66"/>
+<text text-anchor="middle" x="790" y="-495.04" font-family="DejaVu Sans" font-size="13.00">64b consts</text>
+<text text-anchor="middle" x="790" y="-478.54" font-family="DejaVu Sans" font-size="13.00">[excludes</text>
+<text text-anchor="middle" x="790" y="-462.04" font-family="DejaVu Sans" font-size="13.00">32b consts]</text>
+</g>
+<!-- FLT_TOP&#45;&gt;FLT_CON64 -->
+<g id="edge14" class="edge">
+<title>FLT_TOP&#45;&gt;FLT_CON64</title>
+<path fill="none" stroke="#555555" d="M725.97,-664.44C736.43,-634.9 758.41,-572.83 773.68,-529.71"/>
+<polygon fill="#555555" stroke="#555555" points="775.64,-530.48 775.66,-524.12 771.68,-529.08 775.64,-530.48"/>
+</g>
+<!-- FLT_CONPI -->
+<g id="node18" class="node">
+<title>FLT_CONPI</title>
+<ellipse fill="aqua" stroke="black" cx="651" cy="-482.64" rx="56.98" ry="18"/>
+<text text-anchor="middle" x="651" y="-478.54" font-family="DejaVu Sans" font-size="13.00">3.14159...</text>
+</g>
+<!-- FLT_TOP&#45;&gt;FLT_CONPI -->
+<g id="edge15" class="edge">
+<title>FLT_TOP&#45;&gt;FLT_CONPI</title>
+<path fill="none" stroke="#555555" d="M714.12,-664.44C701.88,-629.39 673.65,-548.52 659.46,-507.88"/>
+<polygon fill="#555555" stroke="#555555" points="661.52,-507.42 657.56,-502.44 657.56,-508.8 661.52,-507.42"/>
+</g>
+<!-- FLT_X32 -->
+<g id="node19" class="node">
+<title>FLT_X32</title>
+<ellipse fill="aqua" stroke="black" cx="518" cy="-588.3" rx="32.93" ry="18"/>
+<text text-anchor="middle" x="518" y="-584.2" font-family="DejaVu Sans" font-size="13.00">~f32</text>
+</g>
+<!-- FLT_TOP&#45;&gt;FLT_X32 -->
+<g id="edge18" class="edge">
+<title>FLT_TOP&#45;&gt;FLT_X32</title>
+<path fill="none" stroke="#555555" d="M696.03,-670.38C659.58,-653.78 590.16,-622.16 549.62,-603.7"/>
+<polygon fill="#555555" stroke="#555555" points="550.59,-601.83 544.26,-601.26 548.85,-605.66 550.59,-601.83"/>
+</g>
+<!-- FLT_TOP&#45;&gt;PTR_TOP -->
+<!-- FLT_BOT -->
+<g id="node15" class="node">
+<title>FLT_BOT</title>
+<ellipse fill="aqua" stroke="black" cx="720" cy="-111.99" rx="31.39" ry="18"/>
+<text text-anchor="start" x="705" y="-108.89" font-family="DejaVu Sans" font-weight="bold" font-size="13.00">⊥</text>
+<text text-anchor="start" x="717" y="-108.89" font-family="DejaVu Sans" font-size="13.00">:flt</text>
+</g>
+<!-- FLT_BOT&#45;&gt;BOT -->
+<g id="edge86" class="edge">
+<title>FLT_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M748.28,-103.69C778,-96.11 826.14,-84.12 868,-75 960.59,-54.81 1070.63,-34.59 1124.67,-24.9"/>
+<polygon fill="#555555" stroke="#555555" points="1124.89,-26.99 1130.43,-23.87 1124.15,-22.86 1124.89,-26.99"/>
+</g>
+<!-- FLT_CON64&#45;&gt;FLT_BOT -->
+<g id="edge16" class="edge">
+<title>FLT_CON64&#45;&gt;FLT_BOT</title>
+<path fill="none" stroke="#555555" d="M782.44,-441.84C767.9,-365.27 736.43,-199.52 724.61,-137.27"/>
+<polygon fill="#555555" stroke="#555555" points="726.73,-137.2 723.55,-131.69 722.61,-137.98 726.73,-137.2"/>
+</g>
+<!-- FLT_CON32 -->
+<g id="node17" class="node">
+<title>FLT_CON32</title>
+<ellipse fill="aqua" stroke="black" cx="518" cy="-482.64" rx="60.05" ry="18"/>
+<text text-anchor="middle" x="518" y="-478.54" font-family="DejaVu Sans" font-size="13.00">32b consts</text>
+</g>
+<!-- FLT_CON32&#45;&gt;FLT_CONPI -->
+<!-- FLT_32 -->
+<g id="node21" class="node">
+<title>FLT_32</title>
+<ellipse fill="aqua" stroke="black" cx="518" cy="-376.98" rx="27" ry="18"/>
+<text text-anchor="middle" x="518" y="-372.88" font-family="DejaVu Sans" font-size="13.00">f32</text>
+</g>
+<!-- FLT_CON32&#45;&gt;FLT_32 -->
+<g id="edge22" class="edge">
+<title>FLT_CON32&#45;&gt;FLT_32</title>
+<path fill="none" stroke="#555555" d="M518,-464.52C518,-447.74 518,-421.98 518,-402.93"/>
+<polygon fill="#555555" stroke="#555555" points="520.1,-402.99 518,-396.99 515.9,-402.99 520.1,-402.99"/>
+</g>
+<!-- FLT_CONPI&#45;&gt;FLT_BOT -->
+<g id="edge17" class="edge">
+<title>FLT_CONPI&#45;&gt;FLT_BOT</title>
+<path fill="none" stroke="#555555" d="M654.24,-464.36C665.42,-404.61 702.46,-206.71 715.45,-137.3"/>
+<polygon fill="#555555" stroke="#555555" points="717.45,-138.01 716.49,-131.73 713.32,-137.24 717.45,-138.01"/>
+</g>
+<!-- FLT_CONPI&#45;&gt;FLT_CON64 -->
+<!-- FLT_X32&#45;&gt;FLT_CON32 -->
+<g id="edge20" class="edge">
+<title>FLT_X32&#45;&gt;FLT_CON32</title>
+<path fill="none" stroke="#555555" d="M518,-570.18C518,-553.4 518,-527.64 518,-508.58"/>
+<polygon fill="#555555" stroke="#555555" points="520.1,-508.64 518,-502.64 515.9,-508.64 520.1,-508.64"/>
+</g>
+<!-- FLT_CON0 -->
+<g id="node20" class="node">
+<title>FLT_CON0</title>
+<ellipse fill="aqua" stroke="black" cx="415" cy="-482.64" rx="27" ry="18"/>
+<text text-anchor="middle" x="415" y="-478.54" font-family="DejaVu Sans" font-size="13.00">0.</text>
+</g>
+<!-- FLT_X32&#45;&gt;FLT_CON0 -->
+<g id="edge19" class="edge">
+<title>FLT_X32&#45;&gt;FLT_CON0</title>
+<path fill="none" stroke="#555555" d="M501.38,-572.45C487.36,-559.74 466.92,-540.77 450,-523.3 444.13,-517.24 437.97,-510.42 432.47,-504.17"/>
+<polygon fill="#555555" stroke="#555555" points="434.16,-502.91 428.64,-499.77 431,-505.67 434.16,-502.91"/>
+</g>
+<!-- FLT_CON0&#45;&gt;FLT_CON32 -->
+<!-- FLT_CON0&#45;&gt;FLT_32 -->
+<g id="edge21" class="edge">
+<title>FLT_CON0&#45;&gt;FLT_32</title>
+<path fill="none" stroke="#555555" d="M427.65,-466.66C434.16,-459.11 442.33,-449.9 450,-441.98 465.23,-426.25 483.32,-409.31 497.01,-396.8"/>
+<polygon fill="#555555" stroke="#555555" points="498.07,-398.68 501.09,-393.09 495.24,-395.57 498.07,-398.68"/>
+</g>
+<!-- FLT_32&#45;&gt;FLT_BOT -->
+<g id="edge23" class="edge">
+<title>FLT_32&#45;&gt;FLT_BOT</title>
+<path fill="none" stroke="#555555" d="M529.73,-360.71C563.88,-316.25 663.29,-186.82 703.16,-134.91"/>
+<polygon fill="#555555" stroke="#555555" points="704.81,-136.21 706.8,-130.17 701.48,-133.65 704.81,-136.21"/>
+</g>
+<!-- PTR_NULL -->
+<g id="node24" class="node">
+<title>PTR_NULL</title>
+<ellipse fill="#008000" stroke="black" cx="1219" cy="-588.3" rx="27.3" ry="18"/>
+<text text-anchor="middle" x="1219" y="-584.2" font-family="DejaVu Sans" font-size="13.00" fill="white">null</text>
+</g>
+<!-- PTR_TOP&#45;&gt;PTR_NULL -->
+<g id="edge33" class="edge">
+<title>PTR_TOP&#45;&gt;PTR_NULL</title>
+<path fill="none" stroke="#555555" d="M1125.78,-657.36C1147.49,-641.51 1175.48,-621.07 1195.1,-606.75"/>
+<polygon fill="#555555" stroke="#555555" points="1196.33,-608.45 1199.93,-603.22 1193.85,-605.06 1196.33,-608.45"/>
+</g>
+<!-- PTR_PERSON -->
+<g id="node26" class="node">
+<title>PTR_PERSON</title>
+<ellipse fill="#008000" stroke="black" cx="962" cy="-588.3" rx="45.72" ry="18"/>
+<text text-anchor="middle" x="962" y="-584.2" font-family="DejaVu Sans" font-size="13.00" fill="white">*Person</text>
+</g>
+<!-- PTR_TOP&#45;&gt;PTR_PERSON -->
+<g id="edge34" class="edge">
+<title>PTR_TOP&#45;&gt;PTR_PERSON</title>
+<path fill="none" stroke="#555555" d="M1059.26,-657.6C1037.69,-642.45 1010.05,-623.04 989.76,-608.79"/>
+<polygon fill="#555555" stroke="#555555" points="991.06,-607.14 984.95,-605.41 988.65,-610.58 991.06,-607.14"/>
+</g>
+<!-- PTR_S1 -->
+<g id="node27" class="node">
+<title>PTR_S1</title>
+<ellipse fill="#008000" stroke="black" cx="1051" cy="-588.3" rx="27" ry="18"/>
+<text text-anchor="middle" x="1051" y="-584.2" font-family="DejaVu Sans" font-size="13.00" fill="white">*s1</text>
+</g>
+<!-- PTR_TOP&#45;&gt;PTR_S1 -->
+<g id="edge35" class="edge">
+<title>PTR_TOP&#45;&gt;PTR_S1</title>
+<path fill="none" stroke="#555555" d="M1080.4,-653.69C1074.4,-640.56 1067.32,-625.04 1061.6,-612.53"/>
+<polygon fill="#555555" stroke="#555555" points="1063.62,-611.88 1059.22,-607.29 1059.8,-613.62 1063.62,-611.88"/>
+</g>
+<!-- PTR_MORE -->
+<g id="node28" class="node">
+<title>PTR_MORE</title>
+<ellipse fill="#008000" stroke="black" cx="1135" cy="-588.3" rx="40.6" ry="18"/>
+<text text-anchor="middle" x="1135" y="-584.2" font-family="DejaVu Sans" font-size="13.00" fill="white">*s2, …</text>
+</g>
+<!-- PTR_TOP&#45;&gt;PTR_MORE -->
+<g id="edge36" class="edge">
+<title>PTR_TOP&#45;&gt;PTR_MORE</title>
+<path fill="none" stroke="#555555" d="M1105.6,-653.69C1111.55,-640.65 1118.59,-625.25 1124.28,-612.78"/>
+<polygon fill="#555555" stroke="#555555" points="1126.08,-613.9 1126.66,-607.57 1122.26,-612.15 1126.08,-613.9"/>
+</g>
+<!-- PTR_TOP&#45;&gt;STRUCT_TOP -->
+<!-- PTR_BOT -->
+<g id="node23" class="node">
+<title>PTR_BOT</title>
+<ellipse fill="#008000" stroke="black" cx="1158" cy="-111.99" rx="66.47" ry="28.99"/>
+<text text-anchor="middle" x="1158" y="-116.14" font-family="DejaVu Sans" font-size="13.00" fill="white">⊥:ptr</text>
+<text text-anchor="middle" x="1158" y="-99.64" font-family="DejaVu Sans" font-size="13.00" fill="white">[*⊥:struct?]</text>
+</g>
+<!-- PTR_BOT&#45;&gt;BOT -->
+<g id="edge87" class="edge">
+<title>PTR_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M1158,-82.64C1158,-70.25 1158,-55.86 1158,-43.89"/>
+<polygon fill="#555555" stroke="#555555" points="1160.1,-43.94 1158,-37.94 1155.9,-43.94 1160.1,-43.94"/>
+</g>
+<!-- PTR_PERSON_NIL -->
+<g id="node29" class="node">
+<title>PTR_PERSON_NIL</title>
+<ellipse fill="#008000" stroke="black" cx="1111" cy="-482.64" rx="50.33" ry="18"/>
+<text text-anchor="middle" x="1111" y="-478.54" font-family="DejaVu Sans" font-size="13.00" fill="white">*Person?</text>
+</g>
+<!-- PTR_NULL&#45;&gt;PTR_PERSON_NIL -->
+<g id="edge43" class="edge">
+<title>PTR_NULL&#45;&gt;PTR_PERSON_NIL</title>
+<path fill="none" stroke="#555555" d="M1203.98,-572.89C1185.68,-555.32 1154.58,-525.47 1133.44,-505.18"/>
+<polygon fill="#555555" stroke="#555555" points="1134.9,-503.67 1129.12,-501.03 1131.99,-506.7 1134.9,-503.67"/>
+</g>
+<!-- PTR_S1_NIL -->
+<g id="node30" class="node">
+<title>PTR_S1_NIL</title>
+<ellipse fill="#008000" stroke="black" cx="1208" cy="-482.64" rx="30.37" ry="18"/>
+<text text-anchor="middle" x="1208" y="-478.54" font-family="DejaVu Sans" font-size="13.00" fill="white">*s1?</text>
+</g>
+<!-- PTR_NULL&#45;&gt;PTR_S1_NIL -->
+<g id="edge44" class="edge">
+<title>PTR_NULL&#45;&gt;PTR_S1_NIL</title>
+<path fill="none" stroke="#555555" d="M1217.18,-570.18C1215.39,-553.3 1212.64,-527.33 1210.61,-508.24"/>
+<polygon fill="#555555" stroke="#555555" points="1212.7,-508.03 1209.98,-502.29 1208.52,-508.48 1212.7,-508.03"/>
+</g>
+<!-- PTR_MORE_NIL -->
+<g id="node31" class="node">
+<title>PTR_MORE_NIL</title>
+<ellipse fill="#008000" stroke="black" cx="1300" cy="-482.64" rx="45.21" ry="18"/>
+<text text-anchor="middle" x="1300" y="-478.54" font-family="DejaVu Sans" font-size="13.00" fill="white">*s2?, …</text>
+</g>
+<!-- PTR_NULL&#45;&gt;PTR_MORE_NIL -->
+<g id="edge45" class="edge">
+<title>PTR_NULL&#45;&gt;PTR_MORE_NIL</title>
+<path fill="none" stroke="#555555" d="M1230.95,-572C1244.59,-554.55 1267.02,-525.85 1282.6,-505.91"/>
+<polygon fill="#555555" stroke="#555555" points="1284.22,-507.24 1286.26,-501.22 1280.92,-504.65 1284.22,-507.24"/>
+</g>
+<!-- PTR_ANY -->
+<g id="node25" class="node">
+<title>PTR_ANY</title>
+<ellipse fill="#008000" stroke="black" cx="962" cy="-482.64" rx="82.38" ry="28.99"/>
+<text text-anchor="middle" x="962" y="-486.79" font-family="DejaVu Sans" font-size="13.00" fill="white">*⊥:struct</text>
+<text text-anchor="middle" x="962" y="-470.29" font-family="DejaVu Sans" font-size="13.00" fill="white">[ptr any struct]</text>
+</g>
+<!-- PTR_ANY&#45;&gt;PTR_BOT -->
+<g id="edge46" class="edge">
+<title>PTR_ANY&#45;&gt;PTR_BOT</title>
+<path fill="none" stroke="#555555" d="M976.89,-453.63C1012.36,-386.92 1101.72,-218.85 1140.07,-146.72"/>
+<polygon fill="#555555" stroke="#555555" points="1141.72,-148.08 1142.69,-141.79 1138.02,-146.11 1141.72,-148.08"/>
+</g>
+<!-- PTR_ANY&#45;&gt;PTR_PERSON_NIL -->
+<!-- PTR_PERSON&#45;&gt;PTR_ANY -->
+<g id="edge37" class="edge">
+<title>PTR_PERSON&#45;&gt;PTR_ANY</title>
+<path fill="none" stroke="#555555" d="M962,-570.18C962,-556.3 962,-536.26 962,-518.96"/>
+<polygon fill="#555555" stroke="#555555" points="964.1,-519.25 962,-513.25 959.9,-519.25 964.1,-519.25"/>
+</g>
+<!-- PTR_PERSON&#45;&gt;PTR_S1 -->
+<!-- PTR_PERSON&#45;&gt;PTR_PERSON_NIL -->
+<g id="edge40" class="edge">
+<title>PTR_PERSON&#45;&gt;PTR_PERSON_NIL</title>
+<path fill="none" stroke="#555555" d="M983.67,-572.23C1009.89,-553.98 1054.1,-523.22 1082.92,-503.18"/>
+<polygon fill="#555555" stroke="#555555" points="1083.85,-505.09 1087.58,-499.94 1081.45,-501.64 1083.85,-505.09"/>
+</g>
+<!-- PTR_S1&#45;&gt;PTR_ANY -->
+<g id="edge38" class="edge">
+<title>PTR_S1&#45;&gt;PTR_ANY</title>
+<path fill="none" stroke="#555555" d="M1038.25,-572.45C1025.79,-557.94 1006.41,-535.36 990.3,-516.6"/>
+<polygon fill="#555555" stroke="#555555" points="991.91,-515.25 986.4,-512.07 988.72,-517.99 991.91,-515.25"/>
+</g>
+<!-- PTR_S1&#45;&gt;PTR_MORE -->
+<!-- PTR_S1&#45;&gt;PTR_S1_NIL -->
+<g id="edge41" class="edge">
+<title>PTR_S1&#45;&gt;PTR_S1_NIL</title>
+<path fill="none" stroke="#555555" d="M1072.08,-576.82C1101.29,-562.14 1152.34,-535.85 1169,-523.3 1176.35,-517.76 1183.64,-510.85 1189.88,-504.36"/>
+<polygon fill="#555555" stroke="#555555" points="1191.26,-505.96 1193.83,-500.14 1188.2,-503.09 1191.26,-505.96"/>
+</g>
+<!-- PTR_MORE&#45;&gt;PTR_NULL -->
+<!-- PTR_MORE&#45;&gt;PTR_ANY -->
+<g id="edge39" class="edge">
+<title>PTR_MORE&#45;&gt;PTR_ANY</title>
+<path fill="none" stroke="#555555" d="M1111.67,-573.32C1085.45,-557.61 1042.2,-531.69 1008.92,-511.75"/>
+<polygon fill="#555555" stroke="#555555" points="1010.35,-510.16 1004.12,-508.88 1008.19,-513.77 1010.35,-510.16"/>
+</g>
+<!-- PTR_MORE&#45;&gt;PTR_MORE_NIL -->
+<g id="edge42" class="edge">
+<title>PTR_MORE&#45;&gt;PTR_MORE_NIL</title>
+<path fill="none" stroke="#555555" d="M1160.16,-573.83C1182.97,-561.38 1217.31,-542.02 1246,-523.3 1255.42,-517.15 1265.42,-509.99 1274.23,-503.46"/>
+<polygon fill="#555555" stroke="#555555" points="1275.36,-505.24 1278.9,-499.97 1272.84,-501.88 1275.36,-505.24"/>
+</g>
+<!-- PTR_PERSON_NIL&#45;&gt;PTR_BOT -->
+<g id="edge47" class="edge">
+<title>PTR_PERSON_NIL&#45;&gt;PTR_BOT</title>
+<path fill="none" stroke="#555555" d="M1113.2,-464.36C1120.45,-407.54 1143.62,-225.79 1153.48,-148.41"/>
+<polygon fill="#555555" stroke="#555555" points="1155.53,-148.97 1154.21,-142.76 1151.36,-148.44 1155.53,-148.97"/>
+</g>
+<!-- PTR_PERSON_NIL&#45;&gt;PTR_S1_NIL -->
+<!-- PTR_S1_NIL&#45;&gt;PTR_BOT -->
+<g id="edge48" class="edge">
+<title>PTR_S1_NIL&#45;&gt;PTR_BOT</title>
+<path fill="none" stroke="#555555" d="M1205.66,-464.36C1197.95,-407.54 1173.3,-225.79 1162.8,-148.41"/>
+<polygon fill="#555555" stroke="#555555" points="1164.92,-148.42 1162.04,-142.75 1160.76,-148.98 1164.92,-148.42"/>
+</g>
+<!-- PTR_S1_NIL&#45;&gt;PTR_MORE_NIL -->
+<!-- PTR_MORE_NIL&#45;&gt;PTR_BOT -->
+<g id="edge49" class="edge">
+<title>PTR_MORE_NIL&#45;&gt;PTR_BOT</title>
+<path fill="none" stroke="#555555" d="M1293.34,-464.36C1271.39,-407.36 1200.99,-224.61 1171.35,-147.66"/>
+<polygon fill="#555555" stroke="#555555" points="1173.45,-147.25 1169.33,-142.4 1169.53,-148.76 1173.45,-147.25"/>
+</g>
+<!-- STRUCT_PERSON -->
+<g id="node34" class="node">
+<title>STRUCT_PERSON</title>
+<polygon fill="#90ee90" stroke="black" points="1436.5,-228.98 1369.5,-228.98 1369.5,-187.98 1436.5,-187.98 1436.5,-228.98"/>
+<text text-anchor="middle" x="1403" y="-212.63" font-family="DejaVu Sans" font-size="13.00">Person</text>
+<text text-anchor="middle" x="1403" y="-196.13" font-family="DejaVu Sans" font-size="13.00">age: int</text>
+</g>
+<!-- STRUCT_TOP&#45;&gt;STRUCT_PERSON -->
+<g id="edge53" class="edge">
+<title>STRUCT_TOP&#45;&gt;STRUCT_PERSON</title>
+<path fill="none" stroke="#555555" d="M1468.98,-653.31C1455.09,-615.46 1433,-545.54 1433,-483.64 1433,-483.64 1433,-483.64 1433,-375.98 1433,-326.01 1419.75,-268.92 1410.86,-236.25"/>
+<polygon fill="#555555" stroke="#555555" points="1412.96,-235.95 1409.33,-230.72 1408.91,-237.07 1412.96,-235.95"/>
+</g>
+<!-- STRUCT_S1 -->
+<g id="node35" class="node">
+<title>STRUCT_S1</title>
+<polygon fill="#90ee90" stroke="black" points="1507,-228.98 1453,-228.98 1453,-187.98 1507,-187.98 1507,-228.98"/>
+<text text-anchor="middle" x="1480" y="-212.63" font-family="DejaVu Sans" font-size="13.00">s1</text>
+<text text-anchor="middle" x="1480" y="-196.13" font-family="DejaVu Sans" font-size="13.00">x: int</text>
+</g>
+<!-- STRUCT_TOP&#45;&gt;STRUCT_S1 -->
+<g id="edge54" class="edge">
+<title>STRUCT_TOP&#45;&gt;STRUCT_S1</title>
+<path fill="none" stroke="#555555" d="M1480,-652.82C1480,-614.41 1480,-543.86 1480,-483.64 1480,-483.64 1480,-483.64 1480,-375.98 1480,-327.01 1480,-269.94 1480,-236.93"/>
+<polygon fill="#555555" stroke="#555555" points="1482.1,-236.99 1480,-230.99 1477.9,-236.99 1482.1,-236.99"/>
+</g>
+<!-- STRUCT_S2 -->
+<g id="node36" class="node">
+<title>STRUCT_S2</title>
+<polygon fill="#90ee90" stroke="black" points="1619.12,-228.98 1522.88,-228.98 1522.88,-187.98 1619.12,-187.98 1619.12,-228.98"/>
+<text text-anchor="middle" x="1571" y="-212.63" font-family="DejaVu Sans" font-size="13.00">s2</text>
+<text text-anchor="middle" x="1571" y="-196.13" font-family="DejaVu Sans" font-size="13.00">x: int, y: *s1</text>
+</g>
+<!-- STRUCT_TOP&#45;&gt;STRUCT_S2 -->
+<g id="edge55" class="edge">
+<title>STRUCT_TOP&#45;&gt;STRUCT_S2</title>
+<path fill="none" stroke="#555555" d="M1492.66,-653.47C1508.62,-615.79 1534,-546.07 1534,-483.64 1534,-483.64 1534,-483.64 1534,-375.98 1534,-325.74 1550.25,-268.96 1561.21,-236.38"/>
+<polygon fill="#555555" stroke="#555555" points="1563.15,-237.2 1563.11,-230.84 1559.18,-235.84 1563.15,-237.2"/>
+</g>
+<!-- STRUCT_MORE -->
+<g id="node37" class="node">
+<title>STRUCT_MORE</title>
+<polygon fill="#90ee90" stroke="black" points="1689,-226.48 1635,-226.48 1635,-190.48 1689,-190.48 1689,-226.48"/>
+<text text-anchor="middle" x="1662" y="-204.38" font-family="DejaVu Sans" font-size="13.00">…</text>
+</g>
+<!-- STRUCT_TOP&#45;&gt;STRUCT_MORE -->
+<g id="edge56" class="edge">
+<title>STRUCT_TOP&#45;&gt;STRUCT_MORE</title>
+<path fill="none" stroke="#555555" d="M1509.78,-656.19C1547.31,-621.55 1607,-555.22 1607,-483.64 1607,-483.64 1607,-483.64 1607,-375.98 1607,-322.84 1632.58,-264.74 1648.85,-233.17"/>
+<polygon fill="#555555" stroke="#555555" points="1650.54,-234.47 1651.46,-228.18 1646.82,-232.52 1650.54,-234.47"/>
+</g>
+<!-- STRUCT_TOP&#45;&gt;MEM_TOP -->
+<!-- STRUCT_BOT -->
+<g id="node33" class="node">
+<title>STRUCT_BOT</title>
+<ellipse fill="#90ee90" stroke="black" cx="1480" cy="-111.99" rx="82.91" ry="28.99"/>
+<text text-anchor="middle" x="1480" y="-116.14" font-family="DejaVu Sans" font-size="13.00">⊥:struct</text>
+<text text-anchor="middle" x="1480" y="-99.64" font-family="DejaVu Sans" font-size="13.00">[struct bottom]</text>
+</g>
+<!-- STRUCT_BOT&#45;&gt;BOT -->
+<g id="edge88" class="edge">
+<title>STRUCT_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M1417.46,-92.56C1398.09,-86.88 1376.68,-80.65 1357,-75 1298.06,-58.08 1229.14,-38.8 1189.83,-27.85"/>
+<polygon fill="#555555" stroke="#555555" points="1190.64,-25.89 1184.3,-26.31 1189.52,-29.94 1190.64,-25.89"/>
+</g>
+<!-- STRUCT_PERSON&#45;&gt;STRUCT_BOT -->
+<g id="edge57" class="edge">
+<title>STRUCT_PERSON&#45;&gt;STRUCT_BOT</title>
+<path fill="none" stroke="#555555" d="M1418.95,-187.9C1428.91,-175.69 1441.97,-159.66 1453.46,-145.57"/>
+<polygon fill="#555555" stroke="#555555" points="1454.82,-147.22 1456.98,-141.24 1451.56,-144.57 1454.82,-147.22"/>
+</g>
+<!-- STRUCT_PERSON&#45;&gt;STRUCT_S1 -->
+<!-- STRUCT_S1&#45;&gt;STRUCT_BOT -->
+<g id="edge58" class="edge">
+<title>STRUCT_S1&#45;&gt;STRUCT_BOT</title>
+<path fill="none" stroke="#555555" d="M1480,-187.9C1480,-176.5 1480,-161.78 1480,-148.41"/>
+<polygon fill="#555555" stroke="#555555" points="1482.1,-148.66 1480,-142.66 1477.9,-148.66 1482.1,-148.66"/>
+</g>
+<!-- STRUCT_S1&#45;&gt;STRUCT_S2 -->
+<!-- STRUCT_S2&#45;&gt;STRUCT_BOT -->
+<g id="edge59" class="edge">
+<title>STRUCT_S2&#45;&gt;STRUCT_BOT</title>
+<path fill="none" stroke="#555555" d="M1552.14,-187.9C1540.18,-175.48 1524.43,-159.12 1510.69,-144.86"/>
+<polygon fill="#555555" stroke="#555555" points="1512.46,-143.67 1506.78,-140.8 1509.43,-146.58 1512.46,-143.67"/>
+</g>
+<!-- STRUCT_S2&#45;&gt;STRUCT_MORE -->
+<!-- STRUCT_MORE&#45;&gt;STRUCT_BOT -->
+<g id="edge60" class="edge">
+<title>STRUCT_MORE&#45;&gt;STRUCT_BOT</title>
+<path fill="none" stroke="#555555" d="M1634.54,-192.06C1632,-190.67 1629.45,-189.29 1627,-187.98 1596.23,-171.57 1561.48,-153.81 1533.49,-139.69"/>
+<polygon fill="#555555" stroke="#555555" points="1534.55,-137.87 1528.25,-137.05 1532.67,-141.62 1534.55,-137.87"/>
+</g>
+<!-- MEM_ALIAS2 -->
+<g id="node40" class="node">
+<title>MEM_ALIAS2</title>
+<ellipse fill="#00008b" stroke="black" cx="1758" cy="-293.98" rx="45.21" ry="18"/>
+<text text-anchor="middle" x="1758" y="-289.88" font-family="DejaVu Sans" font-size="13.00" fill="white">MEM#2</text>
+</g>
+<!-- MEM_TOP&#45;&gt;MEM_ALIAS2 -->
+<g id="edge63" class="edge">
+<title>MEM_TOP&#45;&gt;MEM_ALIAS2</title>
+<path fill="none" stroke="#555555" d="M1804.8,-663.94C1796.95,-602.04 1770.29,-391.88 1761.12,-319.62"/>
+<polygon fill="#555555" stroke="#555555" points="1763.22,-319.47 1760.39,-313.79 1759.06,-320 1763.22,-319.47"/>
+</g>
+<!-- MEM_ALIAS3 -->
+<g id="node41" class="node">
+<title>MEM_ALIAS3</title>
+<ellipse fill="#00008b" stroke="black" cx="1864" cy="-293.98" rx="45.21" ry="18"/>
+<text text-anchor="middle" x="1864" y="-289.88" font-family="DejaVu Sans" font-size="13.00" fill="white">MEM#3</text>
+</g>
+<!-- MEM_TOP&#45;&gt;MEM_ALIAS3 -->
+<g id="edge64" class="edge">
+<title>MEM_TOP&#45;&gt;MEM_ALIAS3</title>
+<path fill="none" stroke="#555555" d="M1809.56,-663.94C1818.69,-602.04 1849.7,-391.88 1860.36,-319.62"/>
+<polygon fill="#555555" stroke="#555555" points="1862.43,-320.02 1861.23,-313.78 1858.27,-319.41 1862.43,-320.02"/>
+</g>
+<!-- MEM_MORE -->
+<g id="node42" class="node">
+<title>MEM_MORE</title>
+<ellipse fill="#00008b" stroke="black" cx="1952" cy="-293.98" rx="27" ry="18"/>
+<text text-anchor="middle" x="1952" y="-289.88" font-family="DejaVu Sans" font-size="13.00" fill="white">…</text>
+</g>
+<!-- MEM_TOP&#45;&gt;MEM_MORE -->
+<g id="edge65" class="edge">
+<title>MEM_TOP&#45;&gt;MEM_MORE</title>
+<path fill="none" stroke="#555555" d="M1813.42,-664.19C1836.63,-602.36 1916.24,-390.25 1943.08,-318.74"/>
+<polygon fill="#555555" stroke="#555555" points="1944.98,-319.66 1945.12,-313.3 1941.05,-318.18 1944.98,-319.66"/>
+</g>
+<!-- MEM_TOP&#45;&gt;TUPLE_TOP -->
+<!-- MEM_BOT -->
+<g id="node39" class="node">
+<title>MEM_BOT</title>
+<ellipse fill="#00008b" stroke="black" cx="1811" cy="-111.99" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="1811" y="-107.89" font-family="DejaVu Sans" font-size="13.00" fill="white">⊥:mem</text>
+</g>
+<!-- MEM_BOT&#45;&gt;BOT -->
+<g id="edge89" class="edge">
+<title>MEM_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M1779.72,-98.78C1757.97,-90.77 1728.12,-80.77 1701,-75 1511.81,-34.78 1279.16,-23.1 1192.59,-20.01"/>
+<polygon fill="#555555" stroke="#555555" points="1192.74,-17.92 1186.67,-19.81 1192.59,-22.11 1192.74,-17.92"/>
+</g>
+<!-- MEM_ALIAS2&#45;&gt;MEM_BOT -->
+<g id="edge66" class="edge">
+<title>MEM_ALIAS2&#45;&gt;MEM_BOT</title>
+<path fill="none" stroke="#555555" d="M1763.08,-275.72C1772.58,-243.47 1793.04,-173.99 1803.9,-137.12"/>
+<polygon fill="#555555" stroke="#555555" points="1805.83,-138 1805.51,-131.65 1801.8,-136.81 1805.83,-138"/>
+</g>
+<!-- MEM_ALIAS2&#45;&gt;MEM_ALIAS3 -->
+<!-- MEM_ALIAS3&#45;&gt;MEM_BOT -->
+<g id="edge67" class="edge">
+<title>MEM_ALIAS3&#45;&gt;MEM_BOT</title>
+<path fill="none" stroke="#555555" d="M1858.92,-275.72C1849.42,-243.47 1828.96,-173.99 1818.1,-137.12"/>
+<polygon fill="#555555" stroke="#555555" points="1820.2,-136.81 1816.49,-131.65 1816.17,-138 1820.2,-136.81"/>
+</g>
+<!-- MEM_ALIAS3&#45;&gt;MEM_MORE -->
+<!-- MEM_MORE&#45;&gt;MEM_BOT -->
+<g id="edge68" class="edge">
+<title>MEM_MORE&#45;&gt;MEM_BOT</title>
+<path fill="none" stroke="#555555" d="M1939.98,-277.64C1915.01,-245.76 1857.44,-172.28 1828.41,-135.22"/>
+<polygon fill="#555555" stroke="#555555" points="1830.29,-134.21 1824.94,-130.79 1826.99,-136.8 1830.29,-134.21"/>
+</g>
+<!-- TUPLE1 -->
+<g id="node45" class="node">
+<title>TUPLE1</title>
+<polygon fill="#ffc0cb" stroke="black" points="2058.88,-394.98 2003.12,-394.98 2003.12,-358.98 2058.88,-358.98 2058.88,-394.98"/>
+<text text-anchor="middle" x="2031" y="-372.88" font-family="DejaVu Sans" font-size="13.00">(type)</text>
+</g>
+<!-- TUPLE_TOP&#45;&gt;TUPLE1 -->
+<g id="edge71" class="edge">
+<title>TUPLE_TOP&#45;&gt;TUPLE1</title>
+<path fill="none" stroke="#555555" d="M2047.04,-664.12C2044.18,-613.14 2035.74,-462.58 2032.39,-402.83"/>
+<polygon fill="#555555" stroke="#555555" points="2034.49,-402.73 2032.06,-396.86 2030.3,-402.97 2034.49,-402.73"/>
+</g>
+<!-- TUPLE2 -->
+<g id="node46" class="node">
+<title>TUPLE2</title>
+<polygon fill="#ffc0cb" stroke="black" points="2169,-394.98 2075,-394.98 2075,-358.98 2169,-358.98 2169,-394.98"/>
+<text text-anchor="middle" x="2122" y="-372.88" font-family="DejaVu Sans" font-size="13.00">(type, type)</text>
+</g>
+<!-- TUPLE_TOP&#45;&gt;TUPLE2 -->
+<g id="edge72" class="edge">
+<title>TUPLE_TOP&#45;&gt;TUPLE2</title>
+<path fill="none" stroke="#555555" d="M2052.19,-664.12C2064.65,-613.04 2101.51,-461.97 2116.03,-402.46"/>
+<polygon fill="#555555" stroke="#555555" points="2118.02,-403.14 2117.4,-396.82 2113.94,-402.15 2118.02,-403.14"/>
+</g>
+<!-- TUPLEN -->
+<g id="node47" class="node">
+<title>TUPLEN</title>
+<polygon fill="#ffc0cb" stroke="black" points="2262.75,-394.98 2185.25,-394.98 2185.25,-358.98 2262.75,-358.98 2262.75,-394.98"/>
+<text text-anchor="middle" x="2224" y="-372.88" font-family="DejaVu Sans" font-size="13.00">(type, …)</text>
+</g>
+<!-- TUPLE_TOP&#45;&gt;TUPLEN -->
+<g id="edge73" class="edge">
+<title>TUPLE_TOP&#45;&gt;TUPLEN</title>
+<path fill="none" stroke="#555555" d="M2057.71,-664.55C2087.2,-613.73 2175.78,-461.08 2210.15,-401.84"/>
+<polygon fill="#555555" stroke="#555555" points="2211.93,-402.97 2213.12,-396.73 2208.29,-400.87 2211.93,-402.97"/>
+</g>
+<!-- TUPLE_BOT -->
+<g id="node44" class="node">
+<title>TUPLE_BOT</title>
+<ellipse fill="#ffc0cb" stroke="black" cx="2076" cy="-111.99" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="2076" y="-107.89" font-family="DejaVu Sans" font-size="13.00">⊥:tuple</text>
+</g>
+<!-- TUPLE_BOT&#45;&gt;BOT -->
+<g id="edge90" class="edge">
+<title>TUPLE_BOT&#45;&gt;BOT</title>
+<path fill="none" stroke="#555555" d="M2049.6,-97.11C2033.2,-89.17 2011.42,-79.86 1991,-75 1835.49,-37.96 1329.53,-23.17 1192.5,-19.79"/>
+<polygon fill="#555555" stroke="#555555" points="1192.69,-17.7 1186.64,-19.65 1192.58,-21.9 1192.69,-17.7"/>
+</g>
+<!-- TUPLE1&#45;&gt;TUPLE_BOT -->
+<g id="edge74" class="edge">
+<title>TUPLE1&#45;&gt;TUPLE_BOT</title>
+<path fill="none" stroke="#555555" d="M2033.95,-358.73C2041.72,-313.31 2062.77,-190.32 2071.79,-137.57"/>
+<polygon fill="#555555" stroke="#555555" points="2073.84,-138.07 2072.78,-131.8 2069.7,-137.36 2073.84,-138.07"/>
+</g>
+<!-- TUPLE1&#45;&gt;TUPLE2 -->
+<!-- TUPLE2&#45;&gt;TUPLE_BOT -->
+<g id="edge75" class="edge">
+<title>TUPLE2&#45;&gt;TUPLE_BOT</title>
+<path fill="none" stroke="#555555" d="M2118.98,-358.73C2111.04,-313.31 2089.53,-190.32 2080.3,-137.57"/>
+<polygon fill="#555555" stroke="#555555" points="2082.39,-137.35 2079.29,-131.8 2078.26,-138.07 2082.39,-137.35"/>
+</g>
+<!-- TUPLE2&#45;&gt;TUPLEN -->
+<!-- TUPLEN&#45;&gt;TUPLE_BOT -->
+<g id="edge76" class="edge">
+<title>TUPLEN&#45;&gt;TUPLE_BOT</title>
+<path fill="none" stroke="#555555" d="M2214.29,-358.73C2188.51,-312.92 2118.33,-188.21 2089.08,-136.23"/>
+<polygon fill="#555555" stroke="#555555" points="2091.07,-135.49 2086.3,-131.29 2087.41,-137.55 2091.07,-135.49"/>
+</g>
+</g>
+</svg>