### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/compiler] parsing file "<...>/types.hlt" as HILTI code
[debug/compiler] registering ".hlt" AST for module Foo ("<...>//types.hlt")
[debug/compiler] resolving units with plugin HILTI: Foo
[debug/compiler]   [HILTI] validating module Foo (pre)
[debug/compiler]   processing ASTs, round 0
[debug/compiler]     resetting nodes for module Foo
[debug/compiler]     [HILTI] building scopes for module Foo
[debug/compiler]     [HILTI] normalizing nodes in module Foo
[debug/compiler]     [HILTI] coercing nodes in module Foo
[debug/compiler]     [HILTI] resolving nodes in module Foo
[debug/ast-final] # [HILTI] Foo: Final AST
[debug/ast-final]   - Module %3 (types.hlt:5:1-10:2) [@m:XXX]
[debug/ast-final]       | Foo -> declaration::Module %4 <id="Foo"> [canon-id: Foo] [@d:XXX] ([@d:XXX])
[debug/ast-final]       | x1 -> declaration::GlobalVariable %1 <linkage="private"> [canon-id: Foo::x1] [@d:XXX] ([@d:XXX])
[debug/ast-final]       | x2 -> declaration::GlobalVariable %2 <linkage="private"> [canon-id: Foo::x2] [@d:XXX] ([@d:XXX])
[debug/ast-final]     - ID <name="Foo"> (types.hlt:5:8) [@i:XXX]
[debug/ast-final]     - statement::Block (types.hlt:5:1-10:2) [@s:XXX]
[debug/ast-final]     - declaration::GlobalVariable %1 <linkage="private"> (types.hlt:5:13-7:20) [canon-id: Foo::x1] [@d:XXX]
[debug/ast-final]       - ID <name="x1"> (types.hlt:7:8) [@i:XXX]
[debug/ast-final]       - node::None (types.hlt:5:13-7:20) [@n:XXX]
[debug/ast-final]       - expression::Ctor (types.hlt:7:13) (non-const) (resolved) [@e:XXX]
[debug/ast-final]         - ctor::Bytes <value="abc"> (types.hlt:7:13) [@c:XXX]
[debug/ast-final]           - type::Bytes (types.hlt:7:13) (non-const) (resolved) [@t:XXX]
[debug/ast-final]             - type::UnsignedInteger <width="8"> (types.hlt:7:13) (const) (resolved) [@t:XXX]
[debug/ast-final]             - type::bytes::Iterator (types.hlt:7:13) (non-const) (resolved) [@t:XXX]
[debug/ast-final]               - type::UnsignedInteger <width="8"> (types.hlt:7:13) (const) (resolved) [@t:XXX]
[debug/ast-final]     - declaration::GlobalVariable %2 <linkage="private"> (types.hlt:7:20-8:20) [canon-id: Foo::x2] [@d:XXX]
[debug/ast-final]       - ID <name="x2"> (types.hlt:8:8) [@i:XXX]
[debug/ast-final]       - node::None (types.hlt:5:13-7:20) [@n:XXX]
[debug/ast-final]       - expression::Ctor (types.hlt:8:13) (const) (resolved) [@e:XXX]
[debug/ast-final]         - ctor::Tuple (types.hlt:8:13) [@c:XXX]
[debug/ast-final]           - type::Tuple <wildcard="false"> (types.hlt:8:13) (const) (resolved) [@t:XXX]
[debug/ast-final]             - type::tuple::Element (types.hlt:8:14) [@t:XXX]
[debug/ast-final]               - node::None (types.hlt:5:13-7:20) [@n:XXX]
[debug/ast-final]               - type::UnsignedInteger <width="64"> (types.hlt:8:14) (const) (resolved) [@t:XXX]
[debug/ast-final]             - type::tuple::Element (types.hlt:8:17) [@t:XXX]
[debug/ast-final]               - node::None (types.hlt:5:13-7:20) [@n:XXX]
[debug/ast-final]               - type::UnsignedInteger <width="64"> (types.hlt:8:17) (const) (resolved) [@t:XXX]
[debug/ast-final]           - expression::Ctor (types.hlt:8:14) (const) (resolved) [@e:XXX]
[debug/ast-final]             - ctor::UnsignedInteger <value="1" width="64"> (types.hlt:8:14) [@c:XXX]
[debug/ast-final]               - type::UnsignedInteger <width="64"> (types.hlt:8:14) (const) (resolved) [@t:XXX]
[debug/ast-final]           - expression::Ctor (types.hlt:8:17) (const) (resolved) [@e:XXX]
[debug/ast-final]             - ctor::UnsignedInteger <value="2" width="64"> (types.hlt:8:17) [@c:XXX]
[debug/ast-final]               - type::UnsignedInteger <width="64"> (types.hlt:8:17) (const) (resolved) [@t:XXX]
[debug/compiler]   [HILTI] validating module Foo (post)
[debug/compiler]   finalized module Foo
module Foo {

global bytes x1 = b"abc";
global tuple<uint<64>, uint<64>> x2 = (1, 2);

}
