RichLattice n0 BOTTOM n1 Ctrl n1->n0 n2 null n31 PtrBot n2->n31 n35 {b11} n2->n35 n37 {ALL} n2->n37 n38 {ALL} n2->n38 n3 ptr n3->n0 n4 nptr n4->n3 n5 i32 n6 i64 n5->n6 n6->n0 n7 bool n9 u8 n7->n9 n8 i1 n25 [-255-0] n8->n25 n9->n5 n10 0 n11 bool n10->n11 n12 u8 n10->n12 n14 [-255-0] n10->n14 n82 0 n10->n82 n11->n7 n20 u8 n11->n20 n16 u8 n12->n16 n13 [1-255] n13->n12 n17 [1-255] n13->n17 n18 [-255-0] n14->n18 n15 [-255--1] n15->n14 n19 [-255--1] n15->n19 n16->n20 n17->n16 n21 [1-255] n17->n21 n22 [-255-0] n18->n22 n19->n18 n23 [-255--1] n19->n23 n20->n9 n21->n20 n24 [1-255] n21->n24 n22->n25 n23->n22 n26 [-255--1] n23->n26 n24->n9 n25->n5 n26->n25 n27 flt n27->n0 n28 f32 n28->n27 n29 3.141592653589793 n29->n27 n30 *void n30->n4 n30->n31 n31->n3 n32 *test n33 *test n32->n33 n33->n30 n34 {0} n34->n4 n34->n35 n36 FunBot n35->n36 n36->n3 n37->n36 n38->n36 n39 {0} n39->n34 n39->n37 n42 {0} n39->n42 n44 {0} n39->n44 n40 {0} n40->n39 n41 {0} n40->n41 n41->n42 n41->n44 n43 {0} n42->n43 n43->n4 n43->n36 n44->n43 n45 #2:null n47 MemBot n45->n47 n46 #2:0 n117 #2:0 n46->n117 n47->n0 n48 !test n49 test n48->n49 n49->n0 n50 !flt n50->n0 n51 StructBot n51->n0 n52 test n52->n51 n53 []i64 n53->n51 n54 []u8 n54->n51 n55 []u8 n55->n51 n56 %SINT n56->n51 n57 %SFLT n57->n51 n58 %SINT n58->n56 n59 %SFLT n59->n57 n60 %SFLT n60->n59 n61 %SINT n61->n58 n62 calloc n62->n51 n63 [BOT] n63->n0 n64 [  i64, *test {null !test; }] n64->n63 n65 [  Ctrl, MemTop, i64] n65->n63 n66 [  Ctrl, ~Ctrl] n66->n63 n67 $[ALL] n67->n0 n68 $[2] n68->n67 n69 ["abc"] n69->n13 n140 ["abc"] n69->n140 n70 ["abcd"] n70->n13 n141 ["abcd"] n70->n141 n71 [i32] n71->n13 n142 [i32] n71->n142 n72 TOP n72->n48 n72->n50 n73 ~Ctrl n72->n73 n75 ~ptr n72->n75 n78 ~i64 n72->n78 n99 ~flt n72->n99 n118 MemTop n72->n118 n120 !test n72->n120 n121 flt n72->n121 n122 StructTop n72->n122 n134 [TOP] n72->n134 n138 $[] n72->n138 n73->n1 n74 ~nil n74->n4 n76 ~nptr n75->n76 n102 PtrTop n75->n102 n107 FunTop n75->n107 n76->n2 n76->n40 n101 ~*StructTop n76->n101 n105 {~0} n76->n105 n114 {~0} n76->n114 n77 ~i32 n81 ~u8 n77->n81 n97 ~[-255-0] n77->n97 n78->n77 n79 ~bool n79->n10 n79->n13 n83 ~bool n79->n83 n80 ~i1 n80->n10 n80->n15 n81->n79 n92 ~u8 n81->n92 n96 ~[1-255] n81->n96 n82->n7 n82->n8 n83->n11 n83->n17 n83->n18 n83->n82 n84 ~u8 n84->n82 n85 ~[1-255] n84->n85 n85->n7 n85->n140 n85->n141 n85->n142 n86 ~[-255-0] n86->n82 n87 ~[-255--1] n86->n87 n87->n8 n87->n26 n88 ~u8 n88->n22 n88->n84 n89 ~[1-255] n88->n89 n89->n11 n89->n21 n89->n85 n90 ~[-255-0] n90->n11 n90->n86 n91 ~[-255--1] n90->n91 n91->n23 n91->n87 n92->n83 n92->n88 n93 ~[1-255] n92->n93 n93->n17 n93->n89 n94 ~[-255-0] n94->n16 n94->n90 n95 ~[-255--1] n94->n95 n95->n19 n95->n91 n96->n69 n96->n70 n96->n71 n96->n93 n97->n80 n97->n94 n98 ~[-255--1] n97->n98 n98->n15 n98->n95 n99->n29 n100 ~f32 n99->n100 n100->n28 n101->n32 n104 ~*test n101->n104 n102->n74 n102->n101 n103 ~*test n103->n30 n104->n103 n110 {~0} n105->n110 n106 {~b11} n106->n74 n106->n105 n107->n38 n107->n40 n107->n106 n108 {~ALL} n107->n108 n109 {~ALL} n107->n109 n107->n114 n108->n42 n108->n74 n108->n110 n109->n36 n109->n74 n111 {~0} n110->n111 n111->n4 n111->n36 n112 {~0} n112->n111 n113 {~0} n113->n37 n113->n110 n113->n112 n114->n113 n115 {~0} n114->n115 n115->n110 n115->n112 n116 #2:~nil n116->n47 n117->n47 n118->n45 n118->n46 n118->n116 n119 test n119->n0 n120->n119 n121->n0 n122->n52 n122->n53 n122->n54 n122->n55 n122->n62 n123 test n122->n123 n124 []i64 n122->n124 n125 []u8 n122->n125 n126 []u8 n122->n126 n127 %SINT n122->n127 n128 %SFLT n122->n128 n133 calloc n122->n133 n123->n51 n124->n51 n125->n51 n126->n51 n127->n61 n129 %SINT n127->n129 n128->n60 n130 %SFLT n128->n130 n132 %SINT n129->n132 n131 %SFLT n130->n131 n131->n57 n132->n56 n133->n51 n134->n64 n134->n65 n134->n66 n135 [  ~i64, ~*test {~nil test; ... }] n134->n135 n136 [  ~Ctrl, MemBot, ~i64] n134->n136 n137 [  ~Ctrl, Ctrl] n134->n137 n135->n63 n136->n63 n137->n63 n138->n68 n139 $[-2] n138->n139 n139->n67 n140->n24 n141->n24 n142->n24