carbon-lang/toolchain/check/testdata/basics/raw_sem_ir/one_file.carbon

// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// INCLUDE-FILE: toolchain/testing/testdata/min_prelude/convert.carbon
// EXTRA-ARGS: --dump-raw-sem-ir --no-dump-sem-ir
//
// Check that raw IR dumping works as expected.
//
// AUTOUPDATE
// TIP: To test this file alone, run:
// TIP:   bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/basics/raw_sem_ir/one_file.carbon
// TIP: To dump output, run:
// TIP:   bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/basics/raw_sem_ir/one_file.carbon

fn Foo[T:! type](p: T*) -> (T*, ()) {
  return (p, ());
}

// CHECK:STDOUT: ---
// CHECK:STDOUT: filename:        one_file.carbon
// CHECK:STDOUT: sem_ir:
// CHECK:STDOUT:   names:
// CHECK:STDOUT:     name0:           Foo
// CHECK:STDOUT:     name1:           T
// CHECK:STDOUT:     name2:           p
// CHECK:STDOUT:     name3:           Copy
// CHECK:STDOUT:     name4:           Op
// CHECK:STDOUT:     name5:           U
// CHECK:STDOUT:     name6:           V
// CHECK:STDOUT:   import_irs:
// CHECK:STDOUT:     'import_ir(ApiForImpl)': {decl_id: inst<none>, is_export: false}
// CHECK:STDOUT:     'import_ir(Cpp)':  {decl_id: inst<none>, is_export: false}
// CHECK:STDOUT:     import_ir60000002: {decl_id: inst60000010, is_export: false}
// CHECK:STDOUT:     import_ir60000003: {decl_id: inst60000010, is_export: false}
// CHECK:STDOUT:     import_ir60000004: {decl_id: inst60000010, is_export: false}
// CHECK:STDOUT:     import_ir60000005: {decl_id: inst60000010, is_export: false}
// CHECK:STDOUT:     import_ir60000006: {decl_id: inst60000010, is_export: false}
// CHECK:STDOUT:   import_ir_insts:
// CHECK:STDOUT:     import_ir_inst0: {ir_id: import_ir60000004, inst_id: inst48000010}
// CHECK:STDOUT:     import_ir_inst1: {ir_id: import_ir60000004, inst_id: inst48000010}
// CHECK:STDOUT:     import_ir_inst2: {ir_id: import_ir60000004, inst_id: inst48000015}
// CHECK:STDOUT:     import_ir_inst3: {ir_id: import_ir60000004, inst_id: inst48000035}
// CHECK:STDOUT:     import_ir_inst4: {ir_id: import_ir60000004, inst_id: inst4800002D}
// CHECK:STDOUT:     import_ir_inst5: {ir_id: import_ir60000004, inst_id: inst48000012}
// CHECK:STDOUT:     import_ir_inst6: {ir_id: import_ir60000004, inst_id: inst4800002D}
// CHECK:STDOUT:     import_ir_inst7: {ir_id: import_ir60000004, inst_id: inst48000027}
// CHECK:STDOUT:     import_ir_inst8: {ir_id: import_ir60000004, inst_id: inst48000028}
// CHECK:STDOUT:     import_ir_inst9: {ir_id: import_ir60000004, inst_id: inst4800001E}
// CHECK:STDOUT:     import_ir_instA: {ir_id: import_ir60000004, inst_id: inst48000020}
// CHECK:STDOUT:     import_ir_instB: {ir_id: import_ir60000004, inst_id: inst48000023}
// CHECK:STDOUT:     import_ir_instC: {ir_id: import_ir60000004, inst_id: inst48000024}
// CHECK:STDOUT:     import_ir_instD: {ir_id: import_ir60000004, inst_id: inst48000012}
// CHECK:STDOUT:     import_ir_instE: {ir_id: import_ir60000004, inst_id: inst48000017}
// CHECK:STDOUT:     import_ir_instF: {ir_id: import_ir60000004, inst_id: inst4800001A}
// CHECK:STDOUT:     import_ir_inst10: {ir_id: import_ir60000004, inst_id: inst4800001F}
// CHECK:STDOUT:     import_ir_inst11: {ir_id: import_ir60000004, inst_id: inst48000026}
// CHECK:STDOUT:     import_ir_inst12: {ir_id: import_ir60000004, inst_id: inst48000031}
// CHECK:STDOUT:     import_ir_inst13: {ir_id: import_ir60000004, inst_id: inst48000032}
// CHECK:STDOUT:     import_ir_inst14: {ir_id: import_ir60000004, inst_id: inst48000033}
// CHECK:STDOUT:     import_ir_inst15: {ir_id: import_ir60000004, inst_id: inst48000012}
// CHECK:STDOUT:     import_ir_inst16: {ir_id: import_ir60000004, inst_id: inst4800002D}
// CHECK:STDOUT:     import_ir_inst17: {ir_id: import_ir60000004, inst_id: inst4800006E}
// CHECK:STDOUT:     import_ir_inst18: {ir_id: import_ir60000004, inst_id: inst4800006C}
// CHECK:STDOUT:     import_ir_inst19: {ir_id: import_ir60000004, inst_id: inst48000085}
// CHECK:STDOUT:     import_ir_inst1A: {ir_id: import_ir60000004, inst_id: inst4800006D}
// CHECK:STDOUT:     import_ir_inst1B: {ir_id: import_ir60000004, inst_id: inst48000085}
// CHECK:STDOUT:     import_ir_inst1C: {ir_id: import_ir60000004, inst_id: inst48000080}
// CHECK:STDOUT:     import_ir_inst1D: {ir_id: import_ir60000004, inst_id: inst48000081}
// CHECK:STDOUT:     import_ir_inst1E: {ir_id: import_ir60000004, inst_id: inst48000079}
// CHECK:STDOUT:     import_ir_inst1F: {ir_id: import_ir60000004, inst_id: inst4800007B}
// CHECK:STDOUT:     import_ir_inst20: {ir_id: import_ir60000004, inst_id: inst4800007C}
// CHECK:STDOUT:     import_ir_inst21: {ir_id: import_ir60000004, inst_id: inst4800007D}
// CHECK:STDOUT:     import_ir_inst22: {ir_id: import_ir60000004, inst_id: inst4800005D}
// CHECK:STDOUT:     import_ir_inst23: {ir_id: import_ir60000004, inst_id: inst48000074}
// CHECK:STDOUT:     import_ir_inst24: {ir_id: import_ir60000004, inst_id: inst48000075}
// CHECK:STDOUT:     import_ir_inst25: {ir_id: import_ir60000004, inst_id: inst48000076}
// CHECK:STDOUT:     import_ir_inst26: {ir_id: import_ir60000004, inst_id: inst4800007A}
// CHECK:STDOUT:     import_ir_inst27: {ir_id: import_ir60000004, inst_id: inst4800007F}
// CHECK:STDOUT:     import_ir_inst28: {ir_id: import_ir60000004, inst_id: inst4800008F}
// CHECK:STDOUT:     import_ir_inst29: {ir_id: import_ir60000004, inst_id: inst48000096}
// CHECK:STDOUT:     import_ir_inst2A: {ir_id: import_ir60000004, inst_id: inst4800009D}
// CHECK:STDOUT:     import_ir_inst2B: {ir_id: import_ir60000004, inst_id: inst480000A3}
// CHECK:STDOUT:     import_ir_inst2C: {ir_id: import_ir60000004, inst_id: inst480000A4}
// CHECK:STDOUT:     import_ir_inst2D: {ir_id: import_ir60000004, inst_id: inst480000A5}
// CHECK:STDOUT:     import_ir_inst2E: {ir_id: import_ir60000004, inst_id: inst480000AB}
// CHECK:STDOUT:     import_ir_inst2F: {ir_id: import_ir60000004, inst_id: inst48000061}
// CHECK:STDOUT:     import_ir_inst30: {ir_id: import_ir60000004, inst_id: inst48000067}
// CHECK:STDOUT:     import_ir_inst31: {ir_id: import_ir60000004, inst_id: inst4800006A}
// CHECK:STDOUT:     import_ir_inst32: {ir_id: import_ir60000004, inst_id: inst4800005D}
// CHECK:STDOUT:     import_ir_inst33: {ir_id: import_ir60000004, inst_id: inst4800005F}
// CHECK:STDOUT:     import_ir_inst34: {ir_id: import_ir60000004, inst_id: inst48000065}
// CHECK:STDOUT:     import_ir_inst35: {ir_id: import_ir60000004, inst_id: inst48000069}
// CHECK:STDOUT:     import_ir_inst36: {ir_id: import_ir60000004, inst_id: inst48000070}
// CHECK:STDOUT:     import_ir_inst37: {ir_id: import_ir60000004, inst_id: inst48000088}
// CHECK:STDOUT:     import_ir_inst38: {ir_id: import_ir60000004, inst_id: inst48000089}
// CHECK:STDOUT:     import_ir_inst39: {ir_id: import_ir60000004, inst_id: inst480000C0}
// CHECK:STDOUT:     import_ir_inst3A: {ir_id: import_ir60000004, inst_id: inst480000BE}
// CHECK:STDOUT:     import_ir_inst3B: {ir_id: import_ir60000004, inst_id: inst480000BC}
// CHECK:STDOUT:     import_ir_inst3C: {ir_id: import_ir60000004, inst_id: inst480000BD}
// CHECK:STDOUT:     import_ir_inst3D: {ir_id: import_ir60000004, inst_id: inst480000DC}
// CHECK:STDOUT:     import_ir_inst3E: {ir_id: import_ir60000004, inst_id: inst480000DA}
// CHECK:STDOUT:     import_ir_inst3F: {ir_id: import_ir60000004, inst_id: inst480000D8}
// CHECK:STDOUT:     import_ir_inst40: {ir_id: import_ir60000004, inst_id: inst480000D9}
// CHECK:STDOUT:     import_ir_inst41: {ir_id: import_ir60000004, inst_id: inst480000F8}
// CHECK:STDOUT:     import_ir_inst42: {ir_id: import_ir60000004, inst_id: inst480000F6}
// CHECK:STDOUT:     import_ir_inst43: {ir_id: import_ir60000004, inst_id: inst480000F4}
// CHECK:STDOUT:     import_ir_inst44: {ir_id: import_ir60000004, inst_id: inst480000F5}
// CHECK:STDOUT:     import_ir_inst45: {ir_id: import_ir60000004, inst_id: inst48000114}
// CHECK:STDOUT:     import_ir_inst46: {ir_id: import_ir60000004, inst_id: inst48000112}
// CHECK:STDOUT:     import_ir_inst47: {ir_id: import_ir60000004, inst_id: inst48000110}
// CHECK:STDOUT:     import_ir_inst48: {ir_id: import_ir60000004, inst_id: inst48000111}
// CHECK:STDOUT:     import_ir_inst49: {ir_id: import_ir60000004, inst_id: inst48000135}
// CHECK:STDOUT:     import_ir_inst4A: {ir_id: import_ir60000004, inst_id: inst48000133}
// CHECK:STDOUT:     import_ir_inst4B: {ir_id: import_ir60000004, inst_id: inst48000149}
// CHECK:STDOUT:     import_ir_inst4C: {ir_id: import_ir60000004, inst_id: inst48000134}
// CHECK:STDOUT:     import_ir_inst4D: {ir_id: import_ir60000004, inst_id: inst4800012D}
// CHECK:STDOUT:     import_ir_inst4E: {ir_id: import_ir60000004, inst_id: inst4800012F}
// CHECK:STDOUT:     import_ir_inst4F: {ir_id: import_ir60000004, inst_id: inst48000132}
// CHECK:STDOUT:     import_ir_inst50: {ir_id: import_ir60000004, inst_id: inst4800012A}
// CHECK:STDOUT:     import_ir_inst51: {ir_id: import_ir60000004, inst_id: inst4800012C}
// CHECK:STDOUT:     import_ir_inst52: {ir_id: import_ir60000004, inst_id: inst48000131}
// CHECK:STDOUT:     import_ir_inst53: {ir_id: import_ir60000004, inst_id: inst48000137}
// CHECK:STDOUT:     import_ir_inst54: {ir_id: import_ir60000004, inst_id: inst48000149}
// CHECK:STDOUT:     import_ir_inst55: {ir_id: import_ir60000004, inst_id: inst48000144}
// CHECK:STDOUT:     import_ir_inst56: {ir_id: import_ir60000004, inst_id: inst48000145}
// CHECK:STDOUT:     import_ir_inst57: {ir_id: import_ir60000004, inst_id: inst4800013D}
// CHECK:STDOUT:     import_ir_inst58: {ir_id: import_ir60000004, inst_id: inst4800013F}
// CHECK:STDOUT:     import_ir_inst59: {ir_id: import_ir60000004, inst_id: inst48000140}
// CHECK:STDOUT:     import_ir_inst5A: {ir_id: import_ir60000004, inst_id: inst48000141}
// CHECK:STDOUT:     import_ir_inst5B: {ir_id: import_ir60000004, inst_id: inst4800012A}
// CHECK:STDOUT:     import_ir_inst5C: {ir_id: import_ir60000004, inst_id: inst48000139}
// CHECK:STDOUT:     import_ir_inst5D: {ir_id: import_ir60000004, inst_id: inst4800013A}
// CHECK:STDOUT:     import_ir_inst5E: {ir_id: import_ir60000004, inst_id: inst4800013E}
// CHECK:STDOUT:     import_ir_inst5F: {ir_id: import_ir60000004, inst_id: inst48000143}
// CHECK:STDOUT:     import_ir_inst60: {ir_id: import_ir60000004, inst_id: inst4800014C}
// CHECK:STDOUT:     import_ir_inst61: {ir_id: import_ir60000004, inst_id: inst4800014D}
// CHECK:STDOUT:     import_ir_inst62: {ir_id: import_ir60000004, inst_id: inst48000150}
// CHECK:STDOUT:     import_ir_inst63: {ir_id: import_ir60000004, inst_id: inst48000157}
// CHECK:STDOUT:     import_ir_inst64: {ir_id: import_ir60000004, inst_id: inst48000155}
// CHECK:STDOUT:     import_ir_inst65: {ir_id: import_ir60000004, inst_id: inst(TypeType)}
// CHECK:STDOUT:     import_ir_inst66: {ir_id: import_ir60000004, inst_id: inst48000154}
// CHECK:STDOUT:     import_ir_inst67: {ir_id: import_ir60000004, inst_id: inst48000171}
// CHECK:STDOUT:     import_ir_inst68: {ir_id: import_ir60000004, inst_id: inst4800016F}
// CHECK:STDOUT:     import_ir_inst69: {ir_id: import_ir60000004, inst_id: inst4800016D}
// CHECK:STDOUT:     import_ir_inst6A: {ir_id: import_ir60000004, inst_id: inst4800016E}
// CHECK:STDOUT:     import_ir_inst6B: {ir_id: import_ir60000004, inst_id: inst480001A7}
// CHECK:STDOUT:     import_ir_inst6C: {ir_id: import_ir60000004, inst_id: inst480001A5}
// CHECK:STDOUT:     import_ir_inst6D: {ir_id: import_ir60000004, inst_id: inst480001C2}
// CHECK:STDOUT:     import_ir_inst6E: {ir_id: import_ir60000004, inst_id: inst480001A6}
// CHECK:STDOUT:     import_ir_inst6F: {ir_id: import_ir60000004, inst_id: inst480001C2}
// CHECK:STDOUT:     import_ir_inst70: {ir_id: import_ir60000004, inst_id: inst480001BD}
// CHECK:STDOUT:     import_ir_inst71: {ir_id: import_ir60000004, inst_id: inst480001BE}
// CHECK:STDOUT:     import_ir_inst72: {ir_id: import_ir60000004, inst_id: inst480001B6}
// CHECK:STDOUT:     import_ir_inst73: {ir_id: import_ir60000004, inst_id: inst480001B8}
// CHECK:STDOUT:     import_ir_inst74: {ir_id: import_ir60000004, inst_id: inst480001B9}
// CHECK:STDOUT:     import_ir_inst75: {ir_id: import_ir60000004, inst_id: inst480001BA}
// CHECK:STDOUT:     import_ir_inst76: {ir_id: import_ir60000004, inst_id: inst48000188}
// CHECK:STDOUT:     import_ir_inst77: {ir_id: import_ir60000004, inst_id: inst4800018D}
// CHECK:STDOUT:     import_ir_inst78: {ir_id: import_ir60000004, inst_id: inst480001AF}
// CHECK:STDOUT:     import_ir_inst79: {ir_id: import_ir60000004, inst_id: inst480001B0}
// CHECK:STDOUT:     import_ir_inst7A: {ir_id: import_ir60000004, inst_id: inst480001B1}
// CHECK:STDOUT:     import_ir_inst7B: {ir_id: import_ir60000004, inst_id: inst480001B2}
// CHECK:STDOUT:     import_ir_inst7C: {ir_id: import_ir60000004, inst_id: inst480001B3}
// CHECK:STDOUT:     import_ir_inst7D: {ir_id: import_ir60000004, inst_id: inst480001B7}
// CHECK:STDOUT:     import_ir_inst7E: {ir_id: import_ir60000004, inst_id: inst480001BC}
// CHECK:STDOUT:     import_ir_inst7F: {ir_id: import_ir60000004, inst_id: inst480001CD}
// CHECK:STDOUT:     import_ir_inst80: {ir_id: import_ir60000004, inst_id: inst480001D4}
// CHECK:STDOUT:     import_ir_inst81: {ir_id: import_ir60000004, inst_id: inst480001D8}
// CHECK:STDOUT:     import_ir_inst82: {ir_id: import_ir60000004, inst_id: inst480001DA}
// CHECK:STDOUT:     import_ir_inst83: {ir_id: import_ir60000004, inst_id: inst480001DB}
// CHECK:STDOUT:     import_ir_inst84: {ir_id: import_ir60000004, inst_id: inst480001DC}
// CHECK:STDOUT:     import_ir_inst85: {ir_id: import_ir60000004, inst_id: inst480001DF}
// CHECK:STDOUT:     import_ir_inst86: {ir_id: import_ir60000004, inst_id: inst480001EB}
// CHECK:STDOUT:     import_ir_inst87: {ir_id: import_ir60000004, inst_id: inst480001F2}
// CHECK:STDOUT:     import_ir_inst88: {ir_id: import_ir60000004, inst_id: inst480001F6}
// CHECK:STDOUT:     import_ir_inst89: {ir_id: import_ir60000004, inst_id: inst480001F7}
// CHECK:STDOUT:     import_ir_inst8A: {ir_id: import_ir60000004, inst_id: inst480001F8}
// CHECK:STDOUT:     import_ir_inst8B: {ir_id: import_ir60000004, inst_id: inst480001FE}
// CHECK:STDOUT:     import_ir_inst8C: {ir_id: import_ir60000004, inst_id: inst48000190}
// CHECK:STDOUT:     import_ir_inst8D: {ir_id: import_ir60000004, inst_id: inst4800018A}
// CHECK:STDOUT:     import_ir_inst8E: {ir_id: import_ir60000004, inst_id: inst480001A0}
// CHECK:STDOUT:     import_ir_inst8F: {ir_id: import_ir60000004, inst_id: inst480001A2}
// CHECK:STDOUT:     import_ir_inst90: {ir_id: import_ir60000004, inst_id: inst48000188}
// CHECK:STDOUT:     import_ir_inst91: {ir_id: import_ir60000004, inst_id: inst4800018D}
// CHECK:STDOUT:     import_ir_inst92: {ir_id: import_ir60000004, inst_id: inst48000189}
// CHECK:STDOUT:     import_ir_inst93: {ir_id: import_ir60000004, inst_id: inst4800018F}
// CHECK:STDOUT:     import_ir_inst94: {ir_id: import_ir60000004, inst_id: inst48000196}
// CHECK:STDOUT:     import_ir_inst95: {ir_id: import_ir60000004, inst_id: inst48000199}
// CHECK:STDOUT:     import_ir_inst96: {ir_id: import_ir60000004, inst_id: inst4800019D}
// CHECK:STDOUT:     import_ir_inst97: {ir_id: import_ir60000004, inst_id: inst480001A1}
// CHECK:STDOUT:     import_ir_inst98: {ir_id: import_ir60000004, inst_id: inst480001A9}
// CHECK:STDOUT:     import_ir_inst99: {ir_id: import_ir60000004, inst_id: inst480001C5}
// CHECK:STDOUT:     import_ir_inst9A: {ir_id: import_ir60000004, inst_id: inst480001C6}
// CHECK:STDOUT:     import_ir_inst9B: {ir_id: import_ir60000004, inst_id: inst48000239}
// CHECK:STDOUT:     import_ir_inst9C: {ir_id: import_ir60000004, inst_id: inst48000237}
// CHECK:STDOUT:     import_ir_inst9D: {ir_id: import_ir60000004, inst_id: inst48000258}
// CHECK:STDOUT:     import_ir_inst9E: {ir_id: import_ir60000004, inst_id: inst48000238}
// CHECK:STDOUT:     import_ir_inst9F: {ir_id: import_ir60000004, inst_id: inst48000258}
// CHECK:STDOUT:     import_ir_instA0: {ir_id: import_ir60000004, inst_id: inst48000253}
// CHECK:STDOUT:     import_ir_instA1: {ir_id: import_ir60000004, inst_id: inst48000254}
// CHECK:STDOUT:     import_ir_instA2: {ir_id: import_ir60000004, inst_id: inst4800024C}
// CHECK:STDOUT:     import_ir_instA3: {ir_id: import_ir60000004, inst_id: inst4800024E}
// CHECK:STDOUT:     import_ir_instA4: {ir_id: import_ir60000004, inst_id: inst4800024F}
// CHECK:STDOUT:     import_ir_instA5: {ir_id: import_ir60000004, inst_id: inst48000250}
// CHECK:STDOUT:     import_ir_instA6: {ir_id: import_ir60000004, inst_id: inst48000210}
// CHECK:STDOUT:     import_ir_instA7: {ir_id: import_ir60000004, inst_id: inst48000215}
// CHECK:STDOUT:     import_ir_instA8: {ir_id: import_ir60000004, inst_id: inst4800021A}
// CHECK:STDOUT:     import_ir_instA9: {ir_id: import_ir60000004, inst_id: inst48000243}
// CHECK:STDOUT:     import_ir_instAA: {ir_id: import_ir60000004, inst_id: inst48000244}
// CHECK:STDOUT:     import_ir_instAB: {ir_id: import_ir60000004, inst_id: inst48000245}
// CHECK:STDOUT:     import_ir_instAC: {ir_id: import_ir60000004, inst_id: inst48000246}
// CHECK:STDOUT:     import_ir_instAD: {ir_id: import_ir60000004, inst_id: inst48000247}
// CHECK:STDOUT:     import_ir_instAE: {ir_id: import_ir60000004, inst_id: inst48000248}
// CHECK:STDOUT:     import_ir_instAF: {ir_id: import_ir60000004, inst_id: inst48000249}
// CHECK:STDOUT:     import_ir_instB0: {ir_id: import_ir60000004, inst_id: inst4800024D}
// CHECK:STDOUT:     import_ir_instB1: {ir_id: import_ir60000004, inst_id: inst48000252}
// CHECK:STDOUT:     import_ir_instB2: {ir_id: import_ir60000004, inst_id: inst48000263}
// CHECK:STDOUT:     import_ir_instB3: {ir_id: import_ir60000004, inst_id: inst48000269}
// CHECK:STDOUT:     import_ir_instB4: {ir_id: import_ir60000004, inst_id: inst4800026D}
// CHECK:STDOUT:     import_ir_instB5: {ir_id: import_ir60000004, inst_id: inst4800026F}
// CHECK:STDOUT:     import_ir_instB6: {ir_id: import_ir60000004, inst_id: inst48000270}
// CHECK:STDOUT:     import_ir_instB7: {ir_id: import_ir60000004, inst_id: inst48000271}
// CHECK:STDOUT:     import_ir_instB8: {ir_id: import_ir60000004, inst_id: inst48000274}
// CHECK:STDOUT:     import_ir_instB9: {ir_id: import_ir60000004, inst_id: inst4800027E}
// CHECK:STDOUT:     import_ir_instBA: {ir_id: import_ir60000004, inst_id: inst48000282}
// CHECK:STDOUT:     import_ir_instBB: {ir_id: import_ir60000004, inst_id: inst48000284}
// CHECK:STDOUT:     import_ir_instBC: {ir_id: import_ir60000004, inst_id: inst48000285}
// CHECK:STDOUT:     import_ir_instBD: {ir_id: import_ir60000004, inst_id: inst48000286}
// CHECK:STDOUT:     import_ir_instBE: {ir_id: import_ir60000004, inst_id: inst48000289}
// CHECK:STDOUT:     import_ir_instBF: {ir_id: import_ir60000004, inst_id: inst48000295}
// CHECK:STDOUT:     import_ir_instC0: {ir_id: import_ir60000004, inst_id: inst4800029C}
// CHECK:STDOUT:     import_ir_instC1: {ir_id: import_ir60000004, inst_id: inst480002A0}
// CHECK:STDOUT:     import_ir_instC2: {ir_id: import_ir60000004, inst_id: inst480002A1}
// CHECK:STDOUT:     import_ir_instC3: {ir_id: import_ir60000004, inst_id: inst480002A2}
// CHECK:STDOUT:     import_ir_instC4: {ir_id: import_ir60000004, inst_id: inst480002A8}
// CHECK:STDOUT:     import_ir_instC5: {ir_id: import_ir60000004, inst_id: inst4800021D}
// CHECK:STDOUT:     import_ir_instC6: {ir_id: import_ir60000004, inst_id: inst48000217}
// CHECK:STDOUT:     import_ir_instC7: {ir_id: import_ir60000004, inst_id: inst48000212}
// CHECK:STDOUT:     import_ir_instC8: {ir_id: import_ir60000004, inst_id: inst48000231}
// CHECK:STDOUT:     import_ir_instC9: {ir_id: import_ir60000004, inst_id: inst48000233}
// CHECK:STDOUT:     import_ir_instCA: {ir_id: import_ir60000004, inst_id: inst48000210}
// CHECK:STDOUT:     import_ir_instCB: {ir_id: import_ir60000004, inst_id: inst48000215}
// CHECK:STDOUT:     import_ir_instCC: {ir_id: import_ir60000004, inst_id: inst4800021A}
// CHECK:STDOUT:     import_ir_instCD: {ir_id: import_ir60000004, inst_id: inst48000211}
// CHECK:STDOUT:     import_ir_instCE: {ir_id: import_ir60000004, inst_id: inst48000216}
// CHECK:STDOUT:     import_ir_instCF: {ir_id: import_ir60000004, inst_id: inst4800021C}
// CHECK:STDOUT:     import_ir_instD0: {ir_id: import_ir60000004, inst_id: inst48000224}
// CHECK:STDOUT:     import_ir_instD1: {ir_id: import_ir60000004, inst_id: inst48000227}
// CHECK:STDOUT:     import_ir_instD2: {ir_id: import_ir60000004, inst_id: inst4800022A}
// CHECK:STDOUT:     import_ir_instD3: {ir_id: import_ir60000004, inst_id: inst4800022E}
// CHECK:STDOUT:     import_ir_instD4: {ir_id: import_ir60000004, inst_id: inst48000232}
// CHECK:STDOUT:     import_ir_instD5: {ir_id: import_ir60000004, inst_id: inst4800023B}
// CHECK:STDOUT:     import_ir_instD6: {ir_id: import_ir60000004, inst_id: inst4800025B}
// CHECK:STDOUT:     import_ir_instD7: {ir_id: import_ir60000004, inst_id: inst4800025C}
// CHECK:STDOUT:   clang_decls:     {}
// CHECK:STDOUT:   name_scopes:
// CHECK:STDOUT:     name_scope0:     {inst: instF, parent_scope: name_scope<none>, has_error: false, extended_scopes: [], names: {name(Core): inst60000011, name0: inst6000003C}}
// CHECK:STDOUT:     name_scope60000001: {inst: inst60000011, parent_scope: name_scope0, has_error: false, extended_scopes: [], names: {name3: inst6000004C}}
// CHECK:STDOUT:     name_scope60000002: {inst: inst6000004D, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {name(SelfType): inst60000068}}
// CHECK:STDOUT:     name_scope60000003: {inst: inst6000004F, parent_scope: name_scope60000002, has_error: false, extended_scopes: [], names: {name4: inst60000051}}
// CHECK:STDOUT:     name_scope60000004: {inst: inst6000006E, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000005: {inst: inst600000A3, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000006: {inst: inst600000A7, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000007: {inst: inst600000AB, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000008: {inst: inst600000AF, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000009: {inst: inst600000B3, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000A: {inst: inst600000D1, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000B: {inst: inst600000D5, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000C: {inst: inst600000D9, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000D: {inst: inst6000011D, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:   entity_names:
// CHECK:STDOUT:     entity_name60000000: {name: name(PeriodSelf), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000001: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000002: {name: name2, parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000003: {name: name3, parent_scope: name_scope60000001, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000004: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000005: {name: name4, parent_scope: name_scope60000003, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000006: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000007: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000008: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000009: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000A: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000B: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000C: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000D: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000E: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000000F: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000010: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000011: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000012: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000013: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000014: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000015: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000016: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000017: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000018: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000019: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001A: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001B: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001C: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001D: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001E: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000001F: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000020: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000021: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000022: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000023: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000024: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000025: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000026: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000027: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000028: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000029: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002A: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002B: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002C: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002D: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002E: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000002F: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000030: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000031: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000032: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000033: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000034: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000035: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000036: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000037: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000038: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name60000039: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003A: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003B: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003C: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003D: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003E: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0, is_unused: 0}
// CHECK:STDOUT:     entity_name6000003F: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0, is_unused: 0}
// CHECK:STDOUT:   cpp_global_vars: {}
// CHECK:STDOUT:   functions:
// CHECK:STDOUT:     function60000000: {name: name0, parent_scope: name_scope0, call_param_patterns_id: inst_block60000010, call_params_id: inst_block60000011, return_type_inst_id: inst6000002F, return_form_inst_id: inst60000031, return_patterns_id: inst_block6000000F, body: [inst_block60000018]}
// CHECK:STDOUT:     function60000001: {name: name4, parent_scope: name_scope60000003, call_param_patterns_id: inst_block6000001E, return_type_inst_id: inst6000005E, return_form_inst_id: inst6000005F, return_patterns_id: inst_block60000020}
// CHECK:STDOUT:     function60000002: {name: name4, parent_scope: name_scope60000004, call_param_patterns_id: inst_block6000002A, return_type_inst_id: inst6000007E, return_form_inst_id: inst6000007F, return_patterns_id: inst_block6000002C}
// CHECK:STDOUT:     function60000003: {name: name4, parent_scope: name_scope60000009, call_param_patterns_id: inst_block60000041, return_type_inst_id: inst600000C6, return_form_inst_id: inst600000C7, return_patterns_id: inst_block60000043}
// CHECK:STDOUT:     function60000004: {name: name4, parent_scope: name_scope6000000C, call_param_patterns_id: inst_block6000004F, return_type_inst_id: inst600000EB, return_form_inst_id: inst600000EC, return_patterns_id: inst_block60000051}
// CHECK:STDOUT:     function60000005: {name: name4, parent_scope: name_scope6000000D, call_param_patterns_id: inst_block6000006C, return_type_inst_id: inst6000012F, return_form_inst_id: inst60000130, return_patterns_id: inst_block6000006E}
// CHECK:STDOUT:   classes:         {}
// CHECK:STDOUT:   interfaces:
// CHECK:STDOUT:     interface60000000: {name: name3, parent_scope: name_scope60000001, require_impls_block_id: require_block_empty}
// CHECK:STDOUT:   associated_constants: {}
// CHECK:STDOUT:   impls:
// CHECK:STDOUT:     impl60000000:    {self: inst60000099, constraint: inst6000009A, witness: inst6000006D}
// CHECK:STDOUT:     impl60000001:    {self: inst600000A4, constraint: inst600000A5, witness: inst600000A2}
// CHECK:STDOUT:     impl60000002:    {self: inst600000A8, constraint: inst600000A9, witness: inst600000A6}
// CHECK:STDOUT:     impl60000003:    {self: inst600000AC, constraint: inst600000AD, witness: inst600000AA}
// CHECK:STDOUT:     impl60000004:    {self: inst600000B0, constraint: inst600000B1, witness: inst600000AE}
// CHECK:STDOUT:     impl60000005:    {self: inst600000B8, constraint: inst600000B9, witness: inst600000B2}
// CHECK:STDOUT:     impl60000006:    {self: inst600000D2, constraint: inst600000D3, witness: inst600000D0}
// CHECK:STDOUT:     impl60000007:    {self: inst600000D6, constraint: inst600000D7, witness: inst600000D4}
// CHECK:STDOUT:     impl60000008:    {self: inst6000010F, constraint: inst60000110, witness: inst600000D8}
// CHECK:STDOUT:     impl60000009:    {self: inst6000015D, constraint: inst6000015E, witness: inst6000011C}
// CHECK:STDOUT:   generics:
// CHECK:STDOUT:     generic60000000: {decl: inst6000003C, bindings: inst_block60000014, self_specific_id: specific60000000, decl_block_id: inst_block60000016, definition_block_id: inst_block60000090}
// CHECK:STDOUT:     generic60000001: {decl: inst6000004F, bindings: inst_block6000001B, self_specific_id: specific60000001, decl_block_id: inst_block_empty, definition_block_id: inst_block60000025}
// CHECK:STDOUT:     generic60000002: {decl: inst60000054, bindings: inst_block60000021, self_specific_id: specific60000002, decl_block_id: inst_block60000022, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     generic60000003: {decl: inst6000006E, bindings: inst_block60000036, self_specific_id: specific60000004, decl_block_id: inst_block60000038, definition_block_id: inst_block6000003A}
// CHECK:STDOUT:     generic60000004: {decl: inst60000075, bindings: inst_block6000002D, self_specific_id: specific60000007, decl_block_id: inst_block6000002E, definition_block_id: inst_block60000033}
// CHECK:STDOUT:     generic60000005: {decl: inst600000B3, bindings: inst_block6000003E, self_specific_id: specific6000000B, decl_block_id: inst_block60000040, definition_block_id: inst_block60000048}
// CHECK:STDOUT:     generic60000006: {decl: inst600000BE, bindings: inst_block60000044, self_specific_id: specific6000000D, decl_block_id: inst_block60000045, definition_block_id: inst_block_empty}
// CHECK:STDOUT:     generic60000007: {decl: inst600000D9, bindings: inst_block6000005F, self_specific_id: specific6000000E, decl_block_id: inst_block60000063, definition_block_id: inst_block60000065}
// CHECK:STDOUT:     generic60000008: {decl: inst600000E0, bindings: inst_block60000052, self_specific_id: specific60000011, decl_block_id: inst_block60000054, definition_block_id: inst_block6000005C}
// CHECK:STDOUT:     generic60000009: {decl: inst6000011D, bindings: inst_block6000007E, self_specific_id: specific60000017, decl_block_id: inst_block60000082, definition_block_id: inst_block60000084}
// CHECK:STDOUT:     generic6000000A: {decl: inst60000124, bindings: inst_block6000006F, self_specific_id: specific6000001A, decl_block_id: inst_block60000071, definition_block_id: inst_block6000007B}
// CHECK:STDOUT:   specifics:
// CHECK:STDOUT:     specific60000000: {generic: generic60000000, args: inst_block60000015, decl_block_id: inst_block60000017, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000001: {generic: generic60000001, args: inst_block6000001C, decl_block_id: inst_block_empty, definition_block_id: inst_block6000001D}
// CHECK:STDOUT:     specific60000002: {generic: generic60000002, args: inst_block6000001C, decl_block_id: inst_block60000023, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000003: {generic: generic60000001, args: inst_block60000024, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000004: {generic: generic60000003, args: inst_block60000027, decl_block_id: inst_block60000028, definition_block_id: inst_block60000029}
// CHECK:STDOUT:     specific60000005: {generic: generic60000001, args: inst_block60000027, decl_block_id: inst_block_empty, definition_block_id: inst_block6000002F}
// CHECK:STDOUT:     specific60000006: {generic: generic60000002, args: inst_block60000027, decl_block_id: inst_block60000030, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000007: {generic: generic60000004, args: inst_block60000027, decl_block_id: inst_block60000034, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000008: {generic: generic60000001, args: inst_block60000031, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000009: {generic: generic60000002, args: inst_block60000031, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000000A: {generic: generic60000003, args: inst_block60000037, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000000B: {generic: generic60000005, args: inst_block60000015, decl_block_id: inst_block6000003C, definition_block_id: inst_block60000085}
// CHECK:STDOUT:     specific6000000C: {generic: generic60000005, args: inst_block6000003F, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000000D: {generic: generic60000006, args: inst_block60000015, decl_block_id: inst_block60000046, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000000E: {generic: generic60000007, args: inst_block6000004B, decl_block_id: inst_block6000004D, definition_block_id: inst_block6000004E}
// CHECK:STDOUT:     specific6000000F: {generic: generic60000001, args: inst_block60000055, decl_block_id: inst_block_empty, definition_block_id: inst_block60000056}
// CHECK:STDOUT:     specific60000010: {generic: generic60000002, args: inst_block60000055, decl_block_id: inst_block60000057, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000011: {generic: generic60000008, args: inst_block6000004B, decl_block_id: inst_block6000005D, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000012: {generic: generic60000001, args: inst_block60000058, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000013: {generic: generic60000002, args: inst_block60000058, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000014: {generic: generic60000001, args: inst_block6000005A, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000015: {generic: generic60000002, args: inst_block6000005A, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000016: {generic: generic60000007, args: inst_block60000060, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000017: {generic: generic60000009, args: inst_block60000068, decl_block_id: inst_block6000006A, definition_block_id: inst_block6000006B}
// CHECK:STDOUT:     specific60000018: {generic: generic60000001, args: inst_block60000072, decl_block_id: inst_block_empty, definition_block_id: inst_block60000073}
// CHECK:STDOUT:     specific60000019: {generic: generic60000002, args: inst_block60000072, decl_block_id: inst_block60000074, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001A: {generic: generic6000000A, args: inst_block60000068, decl_block_id: inst_block6000007C, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001B: {generic: generic60000001, args: inst_block60000075, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001C: {generic: generic60000002, args: inst_block60000075, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001D: {generic: generic60000001, args: inst_block60000077, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001E: {generic: generic60000002, args: inst_block60000077, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific6000001F: {generic: generic60000001, args: inst_block60000079, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000020: {generic: generic60000002, args: inst_block60000079, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000021: {generic: generic60000009, args: inst_block6000007F, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000022: {generic: generic60000005, args: inst_block60000086, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000023: {generic: generic60000001, args: inst_block60000088, decl_block_id: inst_block_empty, definition_block_id: inst_block60000089}
// CHECK:STDOUT:     specific60000024: {generic: generic60000001, args: inst_block6000008B, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000025: {generic: generic60000002, args: inst_block60000088, decl_block_id: inst_block6000008C, definition_block_id: inst_block<none>}
// CHECK:STDOUT:     specific60000026: {generic: generic60000002, args: inst_block6000008B, decl_block_id: inst_block<none>, definition_block_id: inst_block<none>}
// CHECK:STDOUT:   specific_interfaces:
// CHECK:STDOUT:     specific_interface60000000: {interface_id: interface60000000, specific_id: specific<none>}
// CHECK:STDOUT:   struct_type_fields:
// CHECK:STDOUT:     struct_type_fields_empty: {}
// CHECK:STDOUT:   types:
// CHECK:STDOUT:     'type(TypeType)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(TypeType)}
// CHECK:STDOUT:     'type(inst(FormType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(FormType))}
// CHECK:STDOUT:     'type(Error)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(Error)}
// CHECK:STDOUT:     'type(inst(NamespaceType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(NamespaceType))}
// CHECK:STDOUT:     'type(inst60000025)':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(inst6000002C)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst6000002C)}
// CHECK:STDOUT:     'type(inst60000028)':
// CHECK:STDOUT:       value_repr:      {kind: pointer, type: type(inst6000002C)}
// CHECK:STDOUT:     'type(inst6000003D)':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(symbolic_constant60000003)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constant60000003)}
// CHECK:STDOUT:     'type(inst(WitnessType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(WitnessType))}
// CHECK:STDOUT:     'type(symbolic_constant60000011)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constant60000011)}
// CHECK:STDOUT:     'type(symbolic_constant60000009)':
// CHECK:STDOUT:       value_repr:      {kind: pointer, type: type(symbolic_constant60000011)}
// CHECK:STDOUT:     'type(symbolic_constant60000004)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     'type(symbolic_constant6000000A)':
// CHECK:STDOUT:       value_repr:      {kind: pointer, type: type(symbolic_constant60000011)}
// CHECK:STDOUT:     'type(inst(InstType))':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(inst6000004E)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst6000004E)}
// CHECK:STDOUT:     'type(inst(SpecificFunctionType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     'type(inst(RequireSpecificDefinitionType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     'type(symbolic_constant60000146)':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(symbolic_constant6000014A)':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(inst(BoundMethodType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(BoundMethodType))}
// CHECK:STDOUT:   facet_types:
// CHECK:STDOUT:     facet_type60000000: {}
// CHECK:STDOUT:     facet_type60000001: {extends interface: interface60000000}
// CHECK:STDOUT:   insts:
// CHECK:STDOUT:     instF:           {kind: Namespace, arg0: name_scope0, arg1: inst<none>, type: type(inst(NamespaceType))}
// CHECK:STDOUT:     inst60000010:    {kind: ImportDecl, arg0: name(Core)}
// CHECK:STDOUT:     inst60000011:    {kind: Namespace, arg0: name_scope60000001, arg1: inst60000010, type: type(inst(NamespaceType))}
// CHECK:STDOUT:     inst60000012:    {kind: FacetType, arg0: facet_type60000000, type: type(TypeType)}
// CHECK:STDOUT:     inst60000013:    {kind: SymbolicBinding, arg0: entity_name60000000, arg1: inst<none>, type: type(inst60000012)}
// CHECK:STDOUT:     inst60000014:    {kind: SymbolicBinding, arg0: entity_name60000000, arg1: inst<none>, type: type(inst60000012)}
// CHECK:STDOUT:     inst60000015:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000016:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000017:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000018:    {kind: PatternType, arg0: inst(TypeType), type: type(TypeType)}
// CHECK:STDOUT:     inst60000019:    {kind: SymbolicBindingPattern, arg0: entity_name60000001, type: type(inst60000018)}
// CHECK:STDOUT:     inst6000001A:    {kind: NameRef, arg0: name1, arg1: inst60000015, type: type(TypeType)}
// CHECK:STDOUT:     inst6000001B:    {kind: PointerType, arg0: inst6000001A, type: type(TypeType)}
// CHECK:STDOUT:     inst6000001C:    {kind: PointerType, arg0: inst60000016, type: type(TypeType)}
// CHECK:STDOUT:     inst6000001D:    {kind: PointerType, arg0: inst60000017, type: type(TypeType)}
// CHECK:STDOUT:     inst6000001E:    {kind: ValueBinding, arg0: entity_name60000002, arg1: inst60000038, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst6000001F:    {kind: PatternType, arg0: inst6000001C, type: type(TypeType)}
// CHECK:STDOUT:     inst60000020:    {kind: ValueBindingPattern, arg0: entity_name60000002, type: type(symbolic_constant60000006)}
// CHECK:STDOUT:     inst60000021:    {kind: PatternType, arg0: inst6000001D, type: type(TypeType)}
// CHECK:STDOUT:     inst60000022:    {kind: ValueParamPattern, arg0: inst60000020, arg1: call_param0, type: type(symbolic_constant60000006)}
// CHECK:STDOUT:     inst60000023:    {kind: NameRef, arg0: name1, arg1: inst60000015, type: type(TypeType)}
// CHECK:STDOUT:     inst60000024:    {kind: PointerType, arg0: inst60000023, type: type(TypeType)}
// CHECK:STDOUT:     inst60000025:    {kind: TupleType, arg0: inst_block_empty, type: type(TypeType)}
// CHECK:STDOUT:     inst60000026:    {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000027:    {kind: TupleValue, arg0: inst_block_empty, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000028:    {kind: TupleType, arg0: inst_block60000009, type: type(TypeType)}
// CHECK:STDOUT:     inst60000029:    {kind: TupleLiteral, arg0: inst_block60000008, type: type(inst60000028)}
// CHECK:STDOUT:     inst6000002A:    {kind: TupleValue, arg0: inst_block6000000A, type: type(inst60000028)}
// CHECK:STDOUT:     inst6000002B:    {kind: TupleValue, arg0: inst_block6000000B, type: type(inst60000028)}
// CHECK:STDOUT:     inst6000002C:    {kind: PointerType, arg0: inst60000028, type: type(TypeType)}
// CHECK:STDOUT:     inst6000002D:    {kind: Converted, arg0: inst60000027, arg1: inst60000025, type: type(TypeType)}
// CHECK:STDOUT:     inst6000002E:    {kind: TupleType, arg0: inst_block6000000D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000002F:    {kind: Converted, arg0: inst60000029, arg1: inst6000002E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000030:    {kind: TupleType, arg0: inst_block6000000E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000031:    {kind: InitForm, arg0: inst6000002F, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000032:    {kind: InitForm, arg0: inst6000002E, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000033:    {kind: InitForm, arg0: inst60000030, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000034:    {kind: PatternType, arg0: inst6000002E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000035:    {kind: ReturnSlotPattern, arg0: inst6000002F, type: type(symbolic_constant6000000E)}
// CHECK:STDOUT:     inst60000036:    {kind: PatternType, arg0: inst60000030, type: type(TypeType)}
// CHECK:STDOUT:     inst60000037:    {kind: OutParamPattern, arg0: inst60000035, arg1: call_param1, type: type(symbolic_constant6000000E)}
// CHECK:STDOUT:     inst60000038:    {kind: ValueParam, arg0: call_param0, arg1: name2, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst60000039:    {kind: SpliceBlock, arg0: inst_block60000006, arg1: inst6000001B, type: type(TypeType)}
// CHECK:STDOUT:     inst6000003A:    {kind: OutParam, arg0: call_param1, arg1: name(ReturnSlot), type: type(symbolic_constant6000000A)}
// CHECK:STDOUT:     inst6000003B:    {kind: ReturnSlot, arg0: inst6000002E, arg1: inst6000003A, type: type(symbolic_constant6000000A)}
// CHECK:STDOUT:     inst6000003C:    {kind: FunctionDecl, arg0: function60000000, arg1: inst_block60000013, type: type(inst6000003D)}
// CHECK:STDOUT:     inst6000003D:    {kind: FunctionType, arg0: function60000000, arg1: specific<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000003E:    {kind: StructValue, arg0: inst_block_empty, type: type(inst6000003D)}
// CHECK:STDOUT:     inst6000003F:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000040:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000041:    {kind: RequireCompleteType, arg0: inst6000001D, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000042:    {kind: PointerType, arg0: inst6000002E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000043:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000044:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000045:    {kind: RequireCompleteType, arg0: inst60000030, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000046:    {kind: NameRef, arg0: name2, arg1: inst6000001E, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst60000047:    {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000048:    {kind: TupleLiteral, arg0: inst_block60000019, type: type(symbolic_constant6000000A)}
// CHECK:STDOUT:     inst60000049:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000004A:    {kind: TupleAccess, arg0: inst6000003A, arg1: element0, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst6000004B:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000004C:    {kind: ImportRefLoaded, arg0: import_ir_inst0, arg1: entity_name60000003, type: type(TypeType)}
// CHECK:STDOUT:     inst6000004D:    {kind: InterfaceDecl, arg0: interface60000000, arg1: inst_block_empty, type: type(TypeType)}
// CHECK:STDOUT:     inst6000004E:    {kind: FacetType, arg0: facet_type60000001, type: type(TypeType)}
// CHECK:STDOUT:     inst6000004F:    {kind: InterfaceWithSelfDecl, arg0: interface60000000}
// CHECK:STDOUT:     inst60000050:    {kind: SymbolicBinding, arg0: entity_name60000004, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000051:    {kind: ImportRefLoaded, arg0: import_ir_inst3, arg1: entity_name<none>, type: type(inst60000069)}
// CHECK:STDOUT:     inst60000052:    {kind: ImportRefUnloaded, arg0: import_ir_inst4, arg1: entity_name60000005}
// CHECK:STDOUT:     inst60000053:    {kind: ImportRefLoaded, arg0: import_ir_inst5, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000054:    {kind: FunctionDecl, arg0: function60000001, arg1: inst_block_empty, type: type(symbolic_constant60000015)}
// CHECK:STDOUT:     inst60000055:    {kind: FunctionType, arg0: function60000001, arg1: specific60000001, type: type(TypeType)}
// CHECK:STDOUT:     inst60000056:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000015)}
// CHECK:STDOUT:     inst60000057:    {kind: SymbolicBindingType, arg0: entity_name60000004, arg1: inst60000050, type: type(TypeType)}
// CHECK:STDOUT:     inst60000058:    {kind: PatternType, arg0: inst60000057, type: type(TypeType)}
// CHECK:STDOUT:     inst60000059:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant6000001B)}
// CHECK:STDOUT:     inst6000005A:    {kind: OutParamPattern, arg0: inst60000059, arg1: call_param1, type: type(symbolic_constant6000001B)}
// CHECK:STDOUT:     inst6000005B:    {kind: ValueBindingPattern, arg0: entity_name60000008, type: type(symbolic_constant6000001B)}
// CHECK:STDOUT:     inst6000005C:    {kind: ValueParamPattern, arg0: inst6000005B, arg1: call_param0, type: type(symbolic_constant6000001B)}
// CHECK:STDOUT:     inst6000005D:    {kind: InitForm, arg0: inst60000057, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000005E:    {kind: ImportRefLoaded, arg0: import_ir_instB, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000005F:    {kind: ImportRefLoaded, arg0: import_ir_instC, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000060:    {kind: ImportRefLoaded, arg0: import_ir_instD, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000061:    {kind: SymbolicBinding, arg0: entity_name60000004, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000062:    {kind: SymbolicBindingType, arg0: entity_name60000004, arg1: inst60000061, type: type(TypeType)}
// CHECK:STDOUT:     inst60000063:    {kind: PatternType, arg0: inst60000062, type: type(TypeType)}
// CHECK:STDOUT:     inst60000064:    {kind: InitForm, arg0: inst60000062, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000065:    {kind: SymbolicBinding, arg0: entity_name60000004, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000066:    {kind: FunctionType, arg0: function60000001, arg1: specific60000003, type: type(TypeType)}
// CHECK:STDOUT:     inst60000067:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000029)}
// CHECK:STDOUT:     inst60000068:    {kind: ImportRefUnloaded, arg0: import_ir_inst15, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000069:    {kind: AssociatedEntityType, arg0: interface60000000, arg1: specific<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000006A:    {kind: ImportRefLoaded, arg0: import_ir_inst16, arg1: entity_name<none>, type: type(symbolic_constant60000019)}
// CHECK:STDOUT:     inst6000006B:    {kind: AssociatedEntity, arg0: element0, arg1: inst6000006A, type: type(inst60000069)}
// CHECK:STDOUT:     inst6000006C:    {kind: LookupImplWitness, arg0: inst6000001C, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000006D:    {kind: ImportRefUnloaded, arg0: import_ir_inst17, arg1: entity_name<none>}
// CHECK:STDOUT:     inst6000006E:    {kind: ImplDecl, arg0: impl60000000, arg1: inst_block_empty}
// CHECK:STDOUT:     inst6000006F:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000070:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst6000006F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000071:    {kind: ConstType, arg0: inst60000070, type: type(TypeType)}
// CHECK:STDOUT:     inst60000072:    {kind: ImportRefUnloaded, arg0: import_ir_inst19, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000073:    {kind: ImplWitnessTable, arg0: inst_block60000026, arg1: impl60000000}
// CHECK:STDOUT:     inst60000074:    {kind: ImplWitness, arg0: inst60000073, arg1: specific60000004, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000075:    {kind: FunctionDecl, arg0: function60000002, arg1: inst_block_empty, type: type(symbolic_constant60000031)}
// CHECK:STDOUT:     inst60000076:    {kind: FunctionType, arg0: function60000002, arg1: specific60000004, type: type(TypeType)}
// CHECK:STDOUT:     inst60000077:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000031)}
// CHECK:STDOUT:     inst60000078:    {kind: PatternType, arg0: inst60000071, type: type(TypeType)}
// CHECK:STDOUT:     inst60000079:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant60000036)}
// CHECK:STDOUT:     inst6000007A:    {kind: OutParamPattern, arg0: inst60000079, arg1: call_param1, type: type(symbolic_constant60000036)}
// CHECK:STDOUT:     inst6000007B:    {kind: ValueBindingPattern, arg0: entity_name6000000F, type: type(symbolic_constant60000036)}
// CHECK:STDOUT:     inst6000007C:    {kind: ValueParamPattern, arg0: inst6000007B, arg1: call_param0, type: type(symbolic_constant60000036)}
// CHECK:STDOUT:     inst6000007D:    {kind: InitForm, arg0: inst60000071, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000007E:    {kind: ImportRefLoaded, arg0: import_ir_inst20, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000007F:    {kind: ImportRefLoaded, arg0: import_ir_inst21, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000080:    {kind: ImportRefLoaded, arg0: import_ir_inst22, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000081:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000082:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000081, type: type(TypeType)}
// CHECK:STDOUT:     inst60000083:    {kind: ConstType, arg0: inst60000082, type: type(TypeType)}
// CHECK:STDOUT:     inst60000084:    {kind: PatternType, arg0: inst60000083, type: type(TypeType)}
// CHECK:STDOUT:     inst60000085:    {kind: InitForm, arg0: inst60000083, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000086:    {kind: LookupImplWitness, arg0: inst6000006F, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000087:    {kind: FunctionType, arg0: function60000001, arg1: specific60000005, type: type(TypeType)}
// CHECK:STDOUT:     inst60000088:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000045)}
// CHECK:STDOUT:     inst60000089:    {kind: FunctionTypeWithSelfType, arg0: inst60000087, arg1: inst6000006F, type: type(TypeType)}
// CHECK:STDOUT:     inst6000008A:    {kind: ImplWitnessAccess, arg0: inst60000086, arg1: element0, type: type(symbolic_constant60000047)}
// CHECK:STDOUT:     inst6000008B:    {kind: SpecificImplFunction, arg0: inst6000008A, arg1: specific60000006, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000008C:    {kind: InitForm, arg0: inst60000070, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000008D:    {kind: PatternType, arg0: inst60000070, type: type(TypeType)}
// CHECK:STDOUT:     inst6000008E:    {kind: RequireCompleteType, arg0: inst60000070, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000008F:    {kind: RequireCompleteType, arg0: inst60000071, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000090:    {kind: RequireCompleteType, arg0: inst60000083, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000091:    {kind: RequireCompleteType, arg0: inst60000082, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000092:    {kind: LookupImplWitness, arg0: inst60000081, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000093:    {kind: FunctionType, arg0: function60000001, arg1: specific60000008, type: type(TypeType)}
// CHECK:STDOUT:     inst60000094:    {kind: FunctionTypeWithSelfType, arg0: inst60000093, arg1: inst60000081, type: type(TypeType)}
// CHECK:STDOUT:     inst60000095:    {kind: ImplWitnessAccess, arg0: inst60000092, arg1: element0, type: type(symbolic_constant60000059)}
// CHECK:STDOUT:     inst60000096:    {kind: SpecificImplFunction, arg0: inst60000095, arg1: specific60000009, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000097:    {kind: PatternType, arg0: inst6000004E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000098:    {kind: SymbolicBindingPattern, arg0: entity_name60000015, type: type(inst60000097)}
// CHECK:STDOUT:     inst60000099:    {kind: ImportRefLoaded, arg0: import_ir_inst30, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009A:    {kind: ImportRefLoaded, arg0: import_ir_inst31, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009B:    {kind: ImportRefLoaded, arg0: import_ir_inst32, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst6000009C:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst6000009D:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst6000009C, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009E:    {kind: ConstType, arg0: inst6000009D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009F:    {kind: ImplWitness, arg0: inst60000073, arg1: specific6000000A, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000A0:    {kind: FunctionType, arg0: function60000002, arg1: specific6000000A, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A1:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000064)}
// CHECK:STDOUT:     inst600000A2:    {kind: ImportRefUnloaded, arg0: import_ir_inst39, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000A3:    {kind: ImplDecl, arg0: impl60000001, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000A4:    {kind: ImportRefLoaded, arg0: import_ir_inst3B, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A5:    {kind: ImportRefLoaded, arg0: import_ir_inst3C, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A6:    {kind: ImportRefUnloaded, arg0: import_ir_inst3D, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000A7:    {kind: ImplDecl, arg0: impl60000002, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000A8:    {kind: ImportRefLoaded, arg0: import_ir_inst3F, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A9:    {kind: ImportRefLoaded, arg0: import_ir_inst40, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000AA:    {kind: ImportRefUnloaded, arg0: import_ir_inst41, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000AB:    {kind: ImplDecl, arg0: impl60000003, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000AC:    {kind: ImportRefLoaded, arg0: import_ir_inst43, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000AD:    {kind: ImportRefLoaded, arg0: import_ir_inst44, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000AE:    {kind: ImportRefUnloaded, arg0: import_ir_inst45, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000AF:    {kind: ImplDecl, arg0: impl60000004, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000B0:    {kind: ImportRefLoaded, arg0: import_ir_inst47, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B1:    {kind: ImportRefLoaded, arg0: import_ir_inst48, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B2:    {kind: ImportRefLoaded, arg0: import_ir_inst49, arg1: entity_name<none>, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000B3:    {kind: ImplDecl, arg0: impl60000005, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000B4:    {kind: ImportRefUnloaded, arg0: import_ir_inst4B, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000B5:    {kind: ImplWitnessTable, arg0: inst_block6000003B, arg1: impl60000005}
// CHECK:STDOUT:     inst600000B6:    {kind: ImplWitness, arg0: inst600000B5, arg1: specific6000000B, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000B7:    {kind: SymbolicBindingPattern, arg0: entity_name60000019, type: type(inst60000018)}
// CHECK:STDOUT:     inst600000B8:    {kind: ImportRefLoaded, arg0: import_ir_inst4E, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B9:    {kind: ImportRefLoaded, arg0: import_ir_inst4F, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000BA:    {kind: ImportRefLoaded, arg0: import_ir_inst50, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000BB:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000BC:    {kind: PointerType, arg0: inst600000BB, type: type(TypeType)}
// CHECK:STDOUT:     inst600000BD:    {kind: ImplWitness, arg0: inst600000B5, arg1: specific6000000C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000BE:    {kind: FunctionDecl, arg0: function60000003, arg1: inst_block_empty, type: type(symbolic_constant60000070)}
// CHECK:STDOUT:     inst600000BF:    {kind: FunctionType, arg0: function60000003, arg1: specific6000000B, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C0:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000070)}
// CHECK:STDOUT:     inst600000C1:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant60000074)}
// CHECK:STDOUT:     inst600000C2:    {kind: OutParamPattern, arg0: inst600000C1, arg1: call_param1, type: type(symbolic_constant60000074)}
// CHECK:STDOUT:     inst600000C3:    {kind: ValueBindingPattern, arg0: entity_name6000001A, type: type(symbolic_constant60000074)}
// CHECK:STDOUT:     inst600000C4:    {kind: ValueParamPattern, arg0: inst600000C3, arg1: call_param0, type: type(symbolic_constant60000074)}
// CHECK:STDOUT:     inst600000C5:    {kind: InitForm, arg0: inst6000001C, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000C6:    {kind: ImportRefLoaded, arg0: import_ir_inst59, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C7:    {kind: ImportRefLoaded, arg0: import_ir_inst5A, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000C8:    {kind: ImportRefLoaded, arg0: import_ir_inst5B, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C9:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CA:    {kind: PointerType, arg0: inst600000C9, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CB:    {kind: PatternType, arg0: inst600000CA, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CC:    {kind: InitForm, arg0: inst600000CA, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000CD:    {kind: FunctionType, arg0: function60000003, arg1: specific6000000C, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CE:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000080)}
// CHECK:STDOUT:     inst600000CF:    {kind: RequireCompleteType, arg0: inst600000BC, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000D0:    {kind: ImportRefUnloaded, arg0: import_ir_inst63, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000D1:    {kind: ImplDecl, arg0: impl60000006, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000D2:    {kind: ImportRefLoaded, arg0: import_ir_inst65, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D3:    {kind: ImportRefLoaded, arg0: import_ir_inst66, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D4:    {kind: ImportRefUnloaded, arg0: import_ir_inst67, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000D5:    {kind: ImplDecl, arg0: impl60000007, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000D6:    {kind: ImportRefLoaded, arg0: import_ir_inst69, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D7:    {kind: ImportRefLoaded, arg0: import_ir_inst6A, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D8:    {kind: ImportRefUnloaded, arg0: import_ir_inst6B, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000D9:    {kind: ImplDecl, arg0: impl60000008, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000DA:    {kind: SymbolicBinding, arg0: entity_name6000001C, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst600000DB:    {kind: SymbolicBindingType, arg0: entity_name6000001C, arg1: inst600000DA, type: type(TypeType)}
// CHECK:STDOUT:     inst600000DC:    {kind: TupleType, arg0: inst_block60000049, type: type(TypeType)}
// CHECK:STDOUT:     inst600000DD:    {kind: ImportRefUnloaded, arg0: import_ir_inst6D, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000DE:    {kind: ImplWitnessTable, arg0: inst_block6000004A, arg1: impl60000008}
// CHECK:STDOUT:     inst600000DF:    {kind: ImplWitness, arg0: inst600000DE, arg1: specific6000000E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000E0:    {kind: FunctionDecl, arg0: function60000004, arg1: inst_block_empty, type: type(symbolic_constant60000089)}
// CHECK:STDOUT:     inst600000E1:    {kind: FunctionType, arg0: function60000004, arg1: specific6000000E, type: type(TypeType)}
// CHECK:STDOUT:     inst600000E2:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000089)}
// CHECK:STDOUT:     inst600000E3:    {kind: TupleType, arg0: inst_block6000004C, type: type(TypeType)}
// CHECK:STDOUT:     inst600000E4:    {kind: TupleValue, arg0: inst_block6000004B, type: type(inst600000E3)}
// CHECK:STDOUT:     inst600000E5:    {kind: PatternType, arg0: inst600000DC, type: type(TypeType)}
// CHECK:STDOUT:     inst600000E6:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant6000008F)}
// CHECK:STDOUT:     inst600000E7:    {kind: OutParamPattern, arg0: inst600000E6, arg1: call_param1, type: type(symbolic_constant6000008F)}
// CHECK:STDOUT:     inst600000E8:    {kind: ValueBindingPattern, arg0: entity_name6000001E, type: type(symbolic_constant6000008F)}
// CHECK:STDOUT:     inst600000E9:    {kind: ValueParamPattern, arg0: inst600000E8, arg1: call_param0, type: type(symbolic_constant6000008F)}
// CHECK:STDOUT:     inst600000EA:    {kind: InitForm, arg0: inst600000DC, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000EB:    {kind: ImportRefLoaded, arg0: import_ir_inst74, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000EC:    {kind: ImportRefLoaded, arg0: import_ir_inst75, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000ED:    {kind: ImportRefLoaded, arg0: import_ir_inst76, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst600000EE:    {kind: ImportRefLoaded, arg0: import_ir_inst77, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst600000EF:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst600000F0:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst600000EF, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F1:    {kind: SymbolicBinding, arg0: entity_name6000001C, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst600000F2:    {kind: SymbolicBindingType, arg0: entity_name6000001C, arg1: inst600000F1, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F3:    {kind: TupleType, arg0: inst_block60000053, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F4:    {kind: PatternType, arg0: inst600000F3, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F5:    {kind: InitForm, arg0: inst600000F3, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000F6:    {kind: LookupImplWitness, arg0: inst600000DA, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F7:    {kind: FunctionType, arg0: function60000001, arg1: specific6000000F, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F8:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000A3)}
// CHECK:STDOUT:     inst600000F9:    {kind: FunctionTypeWithSelfType, arg0: inst600000F7, arg1: inst600000DA, type: type(TypeType)}
// CHECK:STDOUT:     inst600000FA:    {kind: ImplWitnessAccess, arg0: inst600000F6, arg1: element0, type: type(symbolic_constant600000A5)}
// CHECK:STDOUT:     inst600000FB:    {kind: SpecificImplFunction, arg0: inst600000FA, arg1: specific60000010, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst600000FC:    {kind: InitForm, arg0: inst600000DB, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000FD:    {kind: PatternType, arg0: inst600000DB, type: type(TypeType)}
// CHECK:STDOUT:     inst600000FE:    {kind: RequireCompleteType, arg0: inst600000DB, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000FF:    {kind: RequireCompleteType, arg0: inst600000DC, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000100:    {kind: RequireCompleteType, arg0: inst600000F3, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000101:    {kind: RequireCompleteType, arg0: inst600000F0, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000102:    {kind: LookupImplWitness, arg0: inst600000EF, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000103:    {kind: FunctionType, arg0: function60000001, arg1: specific60000012, type: type(TypeType)}
// CHECK:STDOUT:     inst60000104:    {kind: FunctionTypeWithSelfType, arg0: inst60000103, arg1: inst600000EF, type: type(TypeType)}
// CHECK:STDOUT:     inst60000105:    {kind: ImplWitnessAccess, arg0: inst60000102, arg1: element0, type: type(symbolic_constant600000BD)}
// CHECK:STDOUT:     inst60000106:    {kind: SpecificImplFunction, arg0: inst60000105, arg1: specific60000013, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000107:    {kind: RequireCompleteType, arg0: inst600000F2, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000108:    {kind: LookupImplWitness, arg0: inst600000F1, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000109:    {kind: FunctionType, arg0: function60000001, arg1: specific60000014, type: type(TypeType)}
// CHECK:STDOUT:     inst6000010A:    {kind: FunctionTypeWithSelfType, arg0: inst60000109, arg1: inst600000F1, type: type(TypeType)}
// CHECK:STDOUT:     inst6000010B:    {kind: ImplWitnessAccess, arg0: inst60000108, arg1: element0, type: type(symbolic_constant600000C3)}
// CHECK:STDOUT:     inst6000010C:    {kind: SpecificImplFunction, arg0: inst6000010B, arg1: specific60000015, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000010D:    {kind: SymbolicBindingPattern, arg0: entity_name60000029, type: type(inst60000097)}
// CHECK:STDOUT:     inst6000010E:    {kind: SymbolicBindingPattern, arg0: entity_name6000002A, type: type(inst60000097)}
// CHECK:STDOUT:     inst6000010F:    {kind: ImportRefLoaded, arg0: import_ir_inst8E, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000110:    {kind: ImportRefLoaded, arg0: import_ir_inst8F, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000111:    {kind: ImportRefLoaded, arg0: import_ir_inst90, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000112:    {kind: ImportRefLoaded, arg0: import_ir_inst91, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000113:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000114:    {kind: SymbolicBinding, arg0: entity_name6000001C, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000115:    {kind: TupleValue, arg0: inst_block60000060, type: type(inst600000E3)}
// CHECK:STDOUT:     inst60000116:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000113, type: type(TypeType)}
// CHECK:STDOUT:     inst60000117:    {kind: SymbolicBindingType, arg0: entity_name6000001C, arg1: inst60000114, type: type(TypeType)}
// CHECK:STDOUT:     inst60000118:    {kind: TupleType, arg0: inst_block60000061, type: type(TypeType)}
// CHECK:STDOUT:     inst60000119:    {kind: ImplWitness, arg0: inst600000DE, arg1: specific60000016, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000011A:    {kind: FunctionType, arg0: function60000004, arg1: specific60000016, type: type(TypeType)}
// CHECK:STDOUT:     inst6000011B:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000D4)}
// CHECK:STDOUT:     inst6000011C:    {kind: ImportRefUnloaded, arg0: import_ir_inst9B, arg1: entity_name<none>}
// CHECK:STDOUT:     inst6000011D:    {kind: ImplDecl, arg0: impl60000009, arg1: inst_block_empty}
// CHECK:STDOUT:     inst6000011E:    {kind: SymbolicBinding, arg0: entity_name6000002B, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst6000011F:    {kind: SymbolicBindingType, arg0: entity_name6000002B, arg1: inst6000011E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000120:    {kind: TupleType, arg0: inst_block60000066, type: type(TypeType)}
// CHECK:STDOUT:     inst60000121:    {kind: ImportRefUnloaded, arg0: import_ir_inst9D, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000122:    {kind: ImplWitnessTable, arg0: inst_block60000067, arg1: impl60000009}
// CHECK:STDOUT:     inst60000123:    {kind: ImplWitness, arg0: inst60000122, arg1: specific60000017, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000124:    {kind: FunctionDecl, arg0: function60000005, arg1: inst_block_empty, type: type(symbolic_constant600000DC)}
// CHECK:STDOUT:     inst60000125:    {kind: FunctionType, arg0: function60000005, arg1: specific60000017, type: type(TypeType)}
// CHECK:STDOUT:     inst60000126:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000DC)}
// CHECK:STDOUT:     inst60000127:    {kind: TupleType, arg0: inst_block60000069, type: type(TypeType)}
// CHECK:STDOUT:     inst60000128:    {kind: TupleValue, arg0: inst_block60000068, type: type(inst60000127)}
// CHECK:STDOUT:     inst60000129:    {kind: PatternType, arg0: inst60000120, type: type(TypeType)}
// CHECK:STDOUT:     inst6000012A:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant600000E2)}
// CHECK:STDOUT:     inst6000012B:    {kind: OutParamPattern, arg0: inst6000012A, arg1: call_param1, type: type(symbolic_constant600000E2)}
// CHECK:STDOUT:     inst6000012C:    {kind: ValueBindingPattern, arg0: entity_name6000002D, type: type(symbolic_constant600000E2)}
// CHECK:STDOUT:     inst6000012D:    {kind: ValueParamPattern, arg0: inst6000012C, arg1: call_param0, type: type(symbolic_constant600000E2)}
// CHECK:STDOUT:     inst6000012E:    {kind: InitForm, arg0: inst60000120, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000012F:    {kind: ImportRefLoaded, arg0: import_ir_instA4, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000130:    {kind: ImportRefLoaded, arg0: import_ir_instA5, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000131:    {kind: ImportRefLoaded, arg0: import_ir_instA6, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000132:    {kind: ImportRefLoaded, arg0: import_ir_instA7, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000133:    {kind: ImportRefLoaded, arg0: import_ir_instA8, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000134:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000135:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000134, type: type(TypeType)}
// CHECK:STDOUT:     inst60000136:    {kind: SymbolicBinding, arg0: entity_name6000001C, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000137:    {kind: SymbolicBindingType, arg0: entity_name6000001C, arg1: inst60000136, type: type(TypeType)}
// CHECK:STDOUT:     inst60000138:    {kind: SymbolicBinding, arg0: entity_name6000002B, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000139:    {kind: SymbolicBindingType, arg0: entity_name6000002B, arg1: inst60000138, type: type(TypeType)}
// CHECK:STDOUT:     inst6000013A:    {kind: TupleType, arg0: inst_block60000070, type: type(TypeType)}
// CHECK:STDOUT:     inst6000013B:    {kind: PatternType, arg0: inst6000013A, type: type(TypeType)}
// CHECK:STDOUT:     inst6000013C:    {kind: InitForm, arg0: inst6000013A, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000013D:    {kind: LookupImplWitness, arg0: inst6000011E, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000013E:    {kind: FunctionType, arg0: function60000001, arg1: specific60000018, type: type(TypeType)}
// CHECK:STDOUT:     inst6000013F:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000FB)}
// CHECK:STDOUT:     inst60000140:    {kind: FunctionTypeWithSelfType, arg0: inst6000013E, arg1: inst6000011E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000141:    {kind: ImplWitnessAccess, arg0: inst6000013D, arg1: element0, type: type(symbolic_constant600000FD)}
// CHECK:STDOUT:     inst60000142:    {kind: SpecificImplFunction, arg0: inst60000141, arg1: specific60000019, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000143:    {kind: InitForm, arg0: inst6000011F, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000144:    {kind: PatternType, arg0: inst6000011F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000145:    {kind: RequireCompleteType, arg0: inst6000011F, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000146:    {kind: RequireCompleteType, arg0: inst60000120, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000147:    {kind: RequireCompleteType, arg0: inst6000013A, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000148:    {kind: RequireCompleteType, arg0: inst60000135, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000149:    {kind: LookupImplWitness, arg0: inst60000134, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000014A:    {kind: FunctionType, arg0: function60000001, arg1: specific6000001B, type: type(TypeType)}
// CHECK:STDOUT:     inst6000014B:    {kind: FunctionTypeWithSelfType, arg0: inst6000014A, arg1: inst60000134, type: type(TypeType)}
// CHECK:STDOUT:     inst6000014C:    {kind: ImplWitnessAccess, arg0: inst60000149, arg1: element0, type: type(symbolic_constant6000011B)}
// CHECK:STDOUT:     inst6000014D:    {kind: SpecificImplFunction, arg0: inst6000014C, arg1: specific6000001C, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000014E:    {kind: RequireCompleteType, arg0: inst60000137, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000014F:    {kind: LookupImplWitness, arg0: inst60000136, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000150:    {kind: FunctionType, arg0: function60000001, arg1: specific6000001D, type: type(TypeType)}
// CHECK:STDOUT:     inst60000151:    {kind: FunctionTypeWithSelfType, arg0: inst60000150, arg1: inst60000136, type: type(TypeType)}
// CHECK:STDOUT:     inst60000152:    {kind: ImplWitnessAccess, arg0: inst6000014F, arg1: element0, type: type(symbolic_constant60000121)}
// CHECK:STDOUT:     inst60000153:    {kind: SpecificImplFunction, arg0: inst60000152, arg1: specific6000001E, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000154:    {kind: RequireCompleteType, arg0: inst60000139, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000155:    {kind: LookupImplWitness, arg0: inst60000138, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000156:    {kind: FunctionType, arg0: function60000001, arg1: specific6000001F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000157:    {kind: FunctionTypeWithSelfType, arg0: inst60000156, arg1: inst60000138, type: type(TypeType)}
// CHECK:STDOUT:     inst60000158:    {kind: ImplWitnessAccess, arg0: inst60000155, arg1: element0, type: type(symbolic_constant60000127)}
// CHECK:STDOUT:     inst60000159:    {kind: SpecificImplFunction, arg0: inst60000158, arg1: specific60000020, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000015A:    {kind: SymbolicBindingPattern, arg0: entity_name6000003D, type: type(inst60000097)}
// CHECK:STDOUT:     inst6000015B:    {kind: SymbolicBindingPattern, arg0: entity_name6000003E, type: type(inst60000097)}
// CHECK:STDOUT:     inst6000015C:    {kind: SymbolicBindingPattern, arg0: entity_name6000003F, type: type(inst60000097)}
// CHECK:STDOUT:     inst6000015D:    {kind: ImportRefLoaded, arg0: import_ir_instC8, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000015E:    {kind: ImportRefLoaded, arg0: import_ir_instC9, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000015F:    {kind: ImportRefLoaded, arg0: import_ir_instCA, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000160:    {kind: ImportRefLoaded, arg0: import_ir_instCB, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000161:    {kind: ImportRefLoaded, arg0: import_ir_instCC, arg1: entity_name<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000162:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000163:    {kind: SymbolicBinding, arg0: entity_name6000001C, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000164:    {kind: SymbolicBinding, arg0: entity_name6000002B, arg1: inst<none>, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000165:    {kind: TupleValue, arg0: inst_block6000007F, type: type(inst60000127)}
// CHECK:STDOUT:     inst60000166:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000162, type: type(TypeType)}
// CHECK:STDOUT:     inst60000167:    {kind: SymbolicBindingType, arg0: entity_name6000001C, arg1: inst60000163, type: type(TypeType)}
// CHECK:STDOUT:     inst60000168:    {kind: SymbolicBindingType, arg0: entity_name6000002B, arg1: inst60000164, type: type(TypeType)}
// CHECK:STDOUT:     inst60000169:    {kind: TupleType, arg0: inst_block60000080, type: type(TypeType)}
// CHECK:STDOUT:     inst6000016A:    {kind: ImplWitness, arg0: inst60000122, arg1: specific60000021, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000016B:    {kind: FunctionType, arg0: function60000005, arg1: specific60000021, type: type(TypeType)}
// CHECK:STDOUT:     inst6000016C:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant6000013C)}
// CHECK:STDOUT:     inst6000016D:    {kind: RequireSpecificDefinition, arg0: specific6000000B, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst6000016E:    {kind: RequireSpecificDefinition, arg0: specific6000000B, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst6000016F:    {kind: RequireSpecificDefinition, arg0: specific60000022, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst60000170:    {kind: LookupImplWitness, arg0: inst6000001C, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000171:    {kind: LookupImplWitness, arg0: inst6000001D, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000172:    {kind: FacetValue, arg0: inst6000001C, arg1: inst_block60000087, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000173:    {kind: FunctionType, arg0: function60000001, arg1: specific60000023, type: type(TypeType)}
// CHECK:STDOUT:     inst60000174:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000144)}
// CHECK:STDOUT:     inst60000175:    {kind: FunctionTypeWithSelfType, arg0: inst60000173, arg1: inst60000172, type: type(TypeType)}
// CHECK:STDOUT:     inst60000176:    {kind: ImplWitnessAccess, arg0: inst60000170, arg1: element0, type: type(symbolic_constant6000014A)}
// CHECK:STDOUT:     inst60000177:    {kind: ImplWitnessAccess, arg0: inst60000170, arg1: element0, type: type(symbolic_constant60000146)}
// CHECK:STDOUT:     inst60000178:    {kind: FacetValue, arg0: inst6000001D, arg1: inst_block6000008A, type: type(inst6000004E)}
// CHECK:STDOUT:     inst60000179:    {kind: FunctionType, arg0: function60000001, arg1: specific60000024, type: type(TypeType)}
// CHECK:STDOUT:     inst6000017A:    {kind: FunctionTypeWithSelfType, arg0: inst60000179, arg1: inst60000178, type: type(TypeType)}
// CHECK:STDOUT:     inst6000017B:    {kind: ImplWitnessAccess, arg0: inst60000171, arg1: element0, type: type(symbolic_constant6000014A)}
// CHECK:STDOUT:     inst6000017C:    {kind: BoundMethod, arg0: inst60000046, arg1: inst60000176, type: type(inst(BoundMethodType))}
// CHECK:STDOUT:     inst6000017D:    {kind: SpecificImplFunction, arg0: inst60000176, arg1: specific60000025, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000017E:    {kind: SpecificImplFunction, arg0: inst60000177, arg1: specific60000025, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000017F:    {kind: SpecificImplFunction, arg0: inst6000017B, arg1: specific60000026, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000180:    {kind: BoundMethod, arg0: inst60000046, arg1: inst6000017D, type: type(inst(BoundMethodType))}
// CHECK:STDOUT:     inst60000181:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000182:    {kind: Call, arg0: inst60000180, arg1: inst_block6000008E, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst60000183:    {kind: InPlaceInit, arg0: inst60000182, arg1: inst6000004A, type: type(symbolic_constant60000004)}
// CHECK:STDOUT:     inst60000184:    {kind: TupleAccess, arg0: inst6000003A, arg1: element1, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000185:    {kind: TupleInit, arg0: inst_block_empty, arg1: inst<none>, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000186:    {kind: Converted, arg0: inst60000047, arg1: inst60000185, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000187:    {kind: TupleInit, arg0: inst_block6000008F, arg1: inst6000003A, type: type(symbolic_constant6000000A)}
// CHECK:STDOUT:     inst60000188:    {kind: Converted, arg0: inst60000048, arg1: inst60000187, type: type(symbolic_constant6000000A)}
// CHECK:STDOUT:     inst60000189:    {kind: ReturnExpr, arg0: inst60000188, arg1: inst6000003A}
// CHECK:STDOUT:   constant_values:
// CHECK:STDOUT:     values:
// CHECK:STDOUT:       instF:           concrete_constant(instF)
// CHECK:STDOUT:       inst60000011:    concrete_constant(inst60000011)
// CHECK:STDOUT:       inst60000012:    concrete_constant(inst60000012)
// CHECK:STDOUT:       inst60000013:    symbolic_constant60000000
// CHECK:STDOUT:       inst60000014:    symbolic_constant60000000
// CHECK:STDOUT:       inst60000015:    symbolic_constant60000002
// CHECK:STDOUT:       inst60000016:    symbolic_constant60000001
// CHECK:STDOUT:       inst60000017:    symbolic_constant60000002
// CHECK:STDOUT:       inst60000018:    concrete_constant(inst60000018)
// CHECK:STDOUT:       inst60000019:    concrete_constant(inst60000019)
// CHECK:STDOUT:       inst6000001A:    symbolic_constant60000002
// CHECK:STDOUT:       inst6000001B:    symbolic_constant60000004
// CHECK:STDOUT:       inst6000001C:    symbolic_constant60000003
// CHECK:STDOUT:       inst6000001D:    symbolic_constant60000004
// CHECK:STDOUT:       inst6000001F:    symbolic_constant60000005
// CHECK:STDOUT:       inst60000020:    concrete_constant(inst60000020)
// CHECK:STDOUT:       inst60000021:    symbolic_constant60000006
// CHECK:STDOUT:       inst60000022:    concrete_constant(inst60000022)
// CHECK:STDOUT:       inst60000023:    symbolic_constant60000002
// CHECK:STDOUT:       inst60000024:    symbolic_constant60000004
// CHECK:STDOUT:       inst60000025:    concrete_constant(inst60000025)
// CHECK:STDOUT:       inst60000026:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst60000027:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst60000028:    concrete_constant(inst60000028)
// CHECK:STDOUT:       inst60000029:    symbolic_constant60000008
// CHECK:STDOUT:       inst6000002A:    symbolic_constant60000007
// CHECK:STDOUT:       inst6000002B:    symbolic_constant60000008
// CHECK:STDOUT:       inst6000002C:    concrete_constant(inst6000002C)
// CHECK:STDOUT:       inst6000002D:    concrete_constant(inst60000025)
// CHECK:STDOUT:       inst6000002E:    symbolic_constant60000009
// CHECK:STDOUT:       inst6000002F:    symbolic_constant6000000A
// CHECK:STDOUT:       inst60000030:    symbolic_constant6000000A
// CHECK:STDOUT:       inst60000031:    symbolic_constant6000000C
// CHECK:STDOUT:       inst60000032:    symbolic_constant6000000B
// CHECK:STDOUT:       inst60000033:    symbolic_constant6000000C
// CHECK:STDOUT:       inst60000034:    symbolic_constant6000000D
// CHECK:STDOUT:       inst60000035:    concrete_constant(inst60000035)
// CHECK:STDOUT:       inst60000036:    symbolic_constant6000000E
// CHECK:STDOUT:       inst60000037:    concrete_constant(inst60000037)
// CHECK:STDOUT:       inst60000039:    symbolic_constant60000004
// CHECK:STDOUT:       inst6000003C:    concrete_constant(inst6000003E)
// CHECK:STDOUT:       inst6000003D:    concrete_constant(inst6000003D)
// CHECK:STDOUT:       inst6000003E:    concrete_constant(inst6000003E)
// CHECK:STDOUT:       inst6000003F:    symbolic_constant60000010
// CHECK:STDOUT:       inst60000040:    symbolic_constant6000000F
// CHECK:STDOUT:       inst60000041:    symbolic_constant60000010
// CHECK:STDOUT:       inst60000042:    symbolic_constant60000011
// CHECK:STDOUT:       inst60000043:    symbolic_constant60000013
// CHECK:STDOUT:       inst60000044:    symbolic_constant60000012
// CHECK:STDOUT:       inst60000045:    symbolic_constant60000013
// CHECK:STDOUT:       inst60000047:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst60000049:    symbolic_constant60000013
// CHECK:STDOUT:       inst6000004B:    symbolic_constant60000010
// CHECK:STDOUT:       inst6000004C:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst6000004D:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst6000004E:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst6000004F:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst60000050:    symbolic_constant60000014
// CHECK:STDOUT:       inst60000051:    concrete_constant(inst6000006B)
// CHECK:STDOUT:       inst60000052:    constant<none>
// CHECK:STDOUT:       inst60000053:    symbolic_constant60000014
// CHECK:STDOUT:       inst60000054:    symbolic_constant60000017
// CHECK:STDOUT:       inst60000055:    symbolic_constant60000015
// CHECK:STDOUT:       inst60000056:    symbolic_constant60000016
// CHECK:STDOUT:       inst60000057:    symbolic_constant60000018
// CHECK:STDOUT:       inst60000058:    symbolic_constant6000001A
// CHECK:STDOUT:       inst60000059:    concrete_constant(inst60000059)
// CHECK:STDOUT:       inst6000005A:    concrete_constant(inst6000005A)
// CHECK:STDOUT:       inst6000005B:    concrete_constant(inst6000005B)
// CHECK:STDOUT:       inst6000005C:    concrete_constant(inst6000005C)
// CHECK:STDOUT:       inst6000005D:    symbolic_constant6000001C
// CHECK:STDOUT:       inst6000005E:    symbolic_constant60000021
// CHECK:STDOUT:       inst6000005F:    symbolic_constant60000020
// CHECK:STDOUT:       inst60000060:    symbolic_constant60000014
// CHECK:STDOUT:       inst60000061:    symbolic_constant60000022
// CHECK:STDOUT:       inst60000062:    symbolic_constant60000023
// CHECK:STDOUT:       inst60000063:    symbolic_constant60000024
// CHECK:STDOUT:       inst60000064:    symbolic_constant60000025
// CHECK:STDOUT:       inst60000065:    symbolic_constant60000028
// CHECK:STDOUT:       inst60000066:    symbolic_constant60000029
// CHECK:STDOUT:       inst60000067:    symbolic_constant6000002A
// CHECK:STDOUT:       inst60000068:    constant<none>
// CHECK:STDOUT:       inst60000069:    concrete_constant(inst60000069)
// CHECK:STDOUT:       inst6000006A:    symbolic_constant60000017
// CHECK:STDOUT:       inst6000006B:    concrete_constant(inst6000006B)
// CHECK:STDOUT:       inst6000006C:    symbolic_constant60000142
// CHECK:STDOUT:       inst6000006D:    constant<none>
// CHECK:STDOUT:       inst6000006E:    concrete_constant(inst6000006E)
// CHECK:STDOUT:       inst6000006F:    symbolic_constant6000002B
// CHECK:STDOUT:       inst60000070:    symbolic_constant6000002C
// CHECK:STDOUT:       inst60000071:    symbolic_constant6000002D
// CHECK:STDOUT:       inst60000072:    constant<none>
// CHECK:STDOUT:       inst60000073:    concrete_constant(inst60000073)
// CHECK:STDOUT:       inst60000074:    symbolic_constant6000002F
// CHECK:STDOUT:       inst60000075:    symbolic_constant60000033
// CHECK:STDOUT:       inst60000076:    symbolic_constant60000031
// CHECK:STDOUT:       inst60000077:    symbolic_constant60000032
// CHECK:STDOUT:       inst60000078:    symbolic_constant60000035
// CHECK:STDOUT:       inst60000079:    concrete_constant(inst60000079)
// CHECK:STDOUT:       inst6000007A:    concrete_constant(inst6000007A)
// CHECK:STDOUT:       inst6000007B:    concrete_constant(inst6000007B)
// CHECK:STDOUT:       inst6000007C:    concrete_constant(inst6000007C)
// CHECK:STDOUT:       inst6000007D:    symbolic_constant60000037
// CHECK:STDOUT:       inst6000007E:    symbolic_constant6000003E
// CHECK:STDOUT:       inst6000007F:    symbolic_constant6000003D
// CHECK:STDOUT:       inst60000080:    symbolic_constant6000003C
// CHECK:STDOUT:       inst60000081:    symbolic_constant6000003F
// CHECK:STDOUT:       inst60000082:    symbolic_constant60000040
// CHECK:STDOUT:       inst60000083:    symbolic_constant60000041
// CHECK:STDOUT:       inst60000084:    symbolic_constant60000042
// CHECK:STDOUT:       inst60000085:    symbolic_constant60000043
// CHECK:STDOUT:       inst60000086:    symbolic_constant60000044
// CHECK:STDOUT:       inst60000087:    symbolic_constant60000045
// CHECK:STDOUT:       inst60000088:    symbolic_constant60000046
// CHECK:STDOUT:       inst60000089:    symbolic_constant60000047
// CHECK:STDOUT:       inst6000008A:    symbolic_constant60000048
// CHECK:STDOUT:       inst6000008B:    symbolic_constant60000049
// CHECK:STDOUT:       inst6000008C:    symbolic_constant6000004B
// CHECK:STDOUT:       inst6000008D:    symbolic_constant6000004C
// CHECK:STDOUT:       inst6000008E:    symbolic_constant60000051
// CHECK:STDOUT:       inst6000008F:    symbolic_constant60000053
// CHECK:STDOUT:       inst60000090:    symbolic_constant60000055
// CHECK:STDOUT:       inst60000091:    symbolic_constant60000056
// CHECK:STDOUT:       inst60000092:    symbolic_constant60000057
// CHECK:STDOUT:       inst60000093:    symbolic_constant60000058
// CHECK:STDOUT:       inst60000094:    symbolic_constant60000059
// CHECK:STDOUT:       inst60000095:    symbolic_constant6000005A
// CHECK:STDOUT:       inst60000096:    symbolic_constant6000005B
// CHECK:STDOUT:       inst60000097:    concrete_constant(inst60000097)
// CHECK:STDOUT:       inst60000098:    concrete_constant(inst60000098)
// CHECK:STDOUT:       inst60000099:    symbolic_constant6000002E
// CHECK:STDOUT:       inst6000009A:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst6000009B:    symbolic_constant6000003C
// CHECK:STDOUT:       inst6000009C:    symbolic_constant6000005F
// CHECK:STDOUT:       inst6000009D:    symbolic_constant60000060
// CHECK:STDOUT:       inst6000009E:    symbolic_constant60000061
// CHECK:STDOUT:       inst6000009F:    symbolic_constant60000062
// CHECK:STDOUT:       inst600000A0:    symbolic_constant60000064
// CHECK:STDOUT:       inst600000A1:    symbolic_constant60000065
// CHECK:STDOUT:       inst600000A2:    constant<none>
// CHECK:STDOUT:       inst600000A3:    concrete_constant(inst600000A3)
// CHECK:STDOUT:       inst600000A4:    concrete_constant(inst(BoolType))
// CHECK:STDOUT:       inst600000A5:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000A6:    constant<none>
// CHECK:STDOUT:       inst600000A7:    concrete_constant(inst600000A7)
// CHECK:STDOUT:       inst600000A8:    concrete_constant(inst(CharLiteralType))
// CHECK:STDOUT:       inst600000A9:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000AA:    constant<none>
// CHECK:STDOUT:       inst600000AB:    concrete_constant(inst600000AB)
// CHECK:STDOUT:       inst600000AC:    concrete_constant(inst(FloatLiteralType))
// CHECK:STDOUT:       inst600000AD:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000AE:    constant<none>
// CHECK:STDOUT:       inst600000AF:    concrete_constant(inst600000AF)
// CHECK:STDOUT:       inst600000B0:    concrete_constant(inst(IntLiteralType))
// CHECK:STDOUT:       inst600000B1:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000B2:    symbolic_constant6000013E
// CHECK:STDOUT:       inst600000B3:    concrete_constant(inst600000B3)
// CHECK:STDOUT:       inst600000B4:    constant<none>
// CHECK:STDOUT:       inst600000B5:    concrete_constant(inst600000B5)
// CHECK:STDOUT:       inst600000B6:    symbolic_constant60000067
// CHECK:STDOUT:       inst600000B7:    concrete_constant(inst600000B7)
// CHECK:STDOUT:       inst600000B8:    symbolic_constant60000066
// CHECK:STDOUT:       inst600000B9:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000BA:    symbolic_constant6000006B
// CHECK:STDOUT:       inst600000BB:    symbolic_constant6000006C
// CHECK:STDOUT:       inst600000BC:    symbolic_constant6000006D
// CHECK:STDOUT:       inst600000BD:    symbolic_constant6000006E
// CHECK:STDOUT:       inst600000BE:    symbolic_constant60000072
// CHECK:STDOUT:       inst600000BF:    symbolic_constant60000070
// CHECK:STDOUT:       inst600000C0:    symbolic_constant60000071
// CHECK:STDOUT:       inst600000C1:    concrete_constant(inst600000C1)
// CHECK:STDOUT:       inst600000C2:    concrete_constant(inst600000C2)
// CHECK:STDOUT:       inst600000C3:    concrete_constant(inst600000C3)
// CHECK:STDOUT:       inst600000C4:    concrete_constant(inst600000C4)
// CHECK:STDOUT:       inst600000C5:    symbolic_constant60000075
// CHECK:STDOUT:       inst600000C6:    symbolic_constant6000007A
// CHECK:STDOUT:       inst600000C7:    symbolic_constant60000079
// CHECK:STDOUT:       inst600000C8:    symbolic_constant6000006B
// CHECK:STDOUT:       inst600000C9:    symbolic_constant6000007B
// CHECK:STDOUT:       inst600000CA:    symbolic_constant6000007C
// CHECK:STDOUT:       inst600000CB:    symbolic_constant6000007D
// CHECK:STDOUT:       inst600000CC:    symbolic_constant6000007E
// CHECK:STDOUT:       inst600000CD:    symbolic_constant60000080
// CHECK:STDOUT:       inst600000CE:    symbolic_constant60000081
// CHECK:STDOUT:       inst600000CF:    symbolic_constant60000082
// CHECK:STDOUT:       inst600000D0:    constant<none>
// CHECK:STDOUT:       inst600000D1:    concrete_constant(inst600000D1)
// CHECK:STDOUT:       inst600000D2:    concrete_constant(inst(TypeType))
// CHECK:STDOUT:       inst600000D3:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000D4:    constant<none>
// CHECK:STDOUT:       inst600000D5:    concrete_constant(inst600000D5)
// CHECK:STDOUT:       inst600000D6:    concrete_constant(inst60000025)
// CHECK:STDOUT:       inst600000D7:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst600000D8:    constant<none>
// CHECK:STDOUT:       inst600000D9:    concrete_constant(inst600000D9)
// CHECK:STDOUT:       inst600000DA:    symbolic_constant60000083
// CHECK:STDOUT:       inst600000DB:    symbolic_constant60000084
// CHECK:STDOUT:       inst600000DC:    symbolic_constant60000085
// CHECK:STDOUT:       inst600000DD:    constant<none>
// CHECK:STDOUT:       inst600000DE:    concrete_constant(inst600000DE)
// CHECK:STDOUT:       inst600000DF:    symbolic_constant60000087
// CHECK:STDOUT:       inst600000E0:    symbolic_constant6000008B
// CHECK:STDOUT:       inst600000E1:    symbolic_constant60000089
// CHECK:STDOUT:       inst600000E2:    symbolic_constant6000008A
// CHECK:STDOUT:       inst600000E3:    concrete_constant(inst600000E3)
// CHECK:STDOUT:       inst600000E4:    symbolic_constant6000008D
// CHECK:STDOUT:       inst600000E5:    symbolic_constant6000008E
// CHECK:STDOUT:       inst600000E6:    concrete_constant(inst600000E6)
// CHECK:STDOUT:       inst600000E7:    concrete_constant(inst600000E7)
// CHECK:STDOUT:       inst600000E8:    concrete_constant(inst600000E8)
// CHECK:STDOUT:       inst600000E9:    concrete_constant(inst600000E9)
// CHECK:STDOUT:       inst600000EA:    symbolic_constant60000090
// CHECK:STDOUT:       inst600000EB:    symbolic_constant6000009A
// CHECK:STDOUT:       inst600000EC:    symbolic_constant60000099
// CHECK:STDOUT:       inst600000ED:    symbolic_constant60000098
// CHECK:STDOUT:       inst600000EE:    symbolic_constant60000097
// CHECK:STDOUT:       inst600000EF:    symbolic_constant6000009B
// CHECK:STDOUT:       inst600000F0:    symbolic_constant6000009C
// CHECK:STDOUT:       inst600000F1:    symbolic_constant6000009D
// CHECK:STDOUT:       inst600000F2:    symbolic_constant6000009E
// CHECK:STDOUT:       inst600000F3:    symbolic_constant6000009F
// CHECK:STDOUT:       inst600000F4:    symbolic_constant600000A0
// CHECK:STDOUT:       inst600000F5:    symbolic_constant600000A1
// CHECK:STDOUT:       inst600000F6:    symbolic_constant600000A2
// CHECK:STDOUT:       inst600000F7:    symbolic_constant600000A3
// CHECK:STDOUT:       inst600000F8:    symbolic_constant600000A4
// CHECK:STDOUT:       inst600000F9:    symbolic_constant600000A5
// CHECK:STDOUT:       inst600000FA:    symbolic_constant600000A6
// CHECK:STDOUT:       inst600000FB:    symbolic_constant600000A7
// CHECK:STDOUT:       inst600000FC:    symbolic_constant600000A9
// CHECK:STDOUT:       inst600000FD:    symbolic_constant600000AA
// CHECK:STDOUT:       inst600000FE:    symbolic_constant600000AF
// CHECK:STDOUT:       inst600000FF:    symbolic_constant600000B7
// CHECK:STDOUT:       inst60000100:    symbolic_constant600000B9
// CHECK:STDOUT:       inst60000101:    symbolic_constant600000BA
// CHECK:STDOUT:       inst60000102:    symbolic_constant600000BB
// CHECK:STDOUT:       inst60000103:    symbolic_constant600000BC
// CHECK:STDOUT:       inst60000104:    symbolic_constant600000BD
// CHECK:STDOUT:       inst60000105:    symbolic_constant600000BE
// CHECK:STDOUT:       inst60000106:    symbolic_constant600000BF
// CHECK:STDOUT:       inst60000107:    symbolic_constant600000C0
// CHECK:STDOUT:       inst60000108:    symbolic_constant600000C1
// CHECK:STDOUT:       inst60000109:    symbolic_constant600000C2
// CHECK:STDOUT:       inst6000010A:    symbolic_constant600000C3
// CHECK:STDOUT:       inst6000010B:    symbolic_constant600000C4
// CHECK:STDOUT:       inst6000010C:    symbolic_constant600000C5
// CHECK:STDOUT:       inst6000010D:    concrete_constant(inst6000010D)
// CHECK:STDOUT:       inst6000010E:    concrete_constant(inst6000010E)
// CHECK:STDOUT:       inst6000010F:    symbolic_constant60000086
// CHECK:STDOUT:       inst60000110:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst60000111:    symbolic_constant60000098
// CHECK:STDOUT:       inst60000112:    symbolic_constant60000097
// CHECK:STDOUT:       inst60000113:    symbolic_constant600000CC
// CHECK:STDOUT:       inst60000114:    symbolic_constant600000CD
// CHECK:STDOUT:       inst60000115:    symbolic_constant600000CE
// CHECK:STDOUT:       inst60000116:    symbolic_constant600000CF
// CHECK:STDOUT:       inst60000117:    symbolic_constant600000D0
// CHECK:STDOUT:       inst60000118:    symbolic_constant600000D1
// CHECK:STDOUT:       inst60000119:    symbolic_constant600000D2
// CHECK:STDOUT:       inst6000011A:    symbolic_constant600000D4
// CHECK:STDOUT:       inst6000011B:    symbolic_constant600000D5
// CHECK:STDOUT:       inst6000011C:    constant<none>
// CHECK:STDOUT:       inst6000011D:    concrete_constant(inst6000011D)
// CHECK:STDOUT:       inst6000011E:    symbolic_constant600000D6
// CHECK:STDOUT:       inst6000011F:    symbolic_constant600000D7
// CHECK:STDOUT:       inst60000120:    symbolic_constant600000D8
// CHECK:STDOUT:       inst60000121:    constant<none>
// CHECK:STDOUT:       inst60000122:    concrete_constant(inst60000122)
// CHECK:STDOUT:       inst60000123:    symbolic_constant600000DA
// CHECK:STDOUT:       inst60000124:    symbolic_constant600000DE
// CHECK:STDOUT:       inst60000125:    symbolic_constant600000DC
// CHECK:STDOUT:       inst60000126:    symbolic_constant600000DD
// CHECK:STDOUT:       inst60000127:    concrete_constant(inst60000127)
// CHECK:STDOUT:       inst60000128:    symbolic_constant600000E0
// CHECK:STDOUT:       inst60000129:    symbolic_constant600000E1
// CHECK:STDOUT:       inst6000012A:    concrete_constant(inst6000012A)
// CHECK:STDOUT:       inst6000012B:    concrete_constant(inst6000012B)
// CHECK:STDOUT:       inst6000012C:    concrete_constant(inst6000012C)
// CHECK:STDOUT:       inst6000012D:    concrete_constant(inst6000012D)
// CHECK:STDOUT:       inst6000012E:    symbolic_constant600000E3
// CHECK:STDOUT:       inst6000012F:    symbolic_constant600000F0
// CHECK:STDOUT:       inst60000130:    symbolic_constant600000EF
// CHECK:STDOUT:       inst60000131:    symbolic_constant600000EE
// CHECK:STDOUT:       inst60000132:    symbolic_constant600000ED
// CHECK:STDOUT:       inst60000133:    symbolic_constant600000EC
// CHECK:STDOUT:       inst60000134:    symbolic_constant600000F1
// CHECK:STDOUT:       inst60000135:    symbolic_constant600000F2
// CHECK:STDOUT:       inst60000136:    symbolic_constant600000F3
// CHECK:STDOUT:       inst60000137:    symbolic_constant600000F4
// CHECK:STDOUT:       inst60000138:    symbolic_constant600000F5
// CHECK:STDOUT:       inst60000139:    symbolic_constant600000F6
// CHECK:STDOUT:       inst6000013A:    symbolic_constant600000F7
// CHECK:STDOUT:       inst6000013B:    symbolic_constant600000F8
// CHECK:STDOUT:       inst6000013C:    symbolic_constant600000F9
// CHECK:STDOUT:       inst6000013D:    symbolic_constant600000FA
// CHECK:STDOUT:       inst6000013E:    symbolic_constant600000FB
// CHECK:STDOUT:       inst6000013F:    symbolic_constant600000FC
// CHECK:STDOUT:       inst60000140:    symbolic_constant600000FD
// CHECK:STDOUT:       inst60000141:    symbolic_constant600000FE
// CHECK:STDOUT:       inst60000142:    symbolic_constant600000FF
// CHECK:STDOUT:       inst60000143:    symbolic_constant60000101
// CHECK:STDOUT:       inst60000144:    symbolic_constant60000102
// CHECK:STDOUT:       inst60000145:    symbolic_constant60000107
// CHECK:STDOUT:       inst60000146:    symbolic_constant60000115
// CHECK:STDOUT:       inst60000147:    symbolic_constant60000117
// CHECK:STDOUT:       inst60000148:    symbolic_constant60000118
// CHECK:STDOUT:       inst60000149:    symbolic_constant60000119
// CHECK:STDOUT:       inst6000014A:    symbolic_constant6000011A
// CHECK:STDOUT:       inst6000014B:    symbolic_constant6000011B
// CHECK:STDOUT:       inst6000014C:    symbolic_constant6000011C
// CHECK:STDOUT:       inst6000014D:    symbolic_constant6000011D
// CHECK:STDOUT:       inst6000014E:    symbolic_constant6000011E
// CHECK:STDOUT:       inst6000014F:    symbolic_constant6000011F
// CHECK:STDOUT:       inst60000150:    symbolic_constant60000120
// CHECK:STDOUT:       inst60000151:    symbolic_constant60000121
// CHECK:STDOUT:       inst60000152:    symbolic_constant60000122
// CHECK:STDOUT:       inst60000153:    symbolic_constant60000123
// CHECK:STDOUT:       inst60000154:    symbolic_constant60000124
// CHECK:STDOUT:       inst60000155:    symbolic_constant60000125
// CHECK:STDOUT:       inst60000156:    symbolic_constant60000126
// CHECK:STDOUT:       inst60000157:    symbolic_constant60000127
// CHECK:STDOUT:       inst60000158:    symbolic_constant60000128
// CHECK:STDOUT:       inst60000159:    symbolic_constant60000129
// CHECK:STDOUT:       inst6000015A:    concrete_constant(inst6000015A)
// CHECK:STDOUT:       inst6000015B:    concrete_constant(inst6000015B)
// CHECK:STDOUT:       inst6000015C:    concrete_constant(inst6000015C)
// CHECK:STDOUT:       inst6000015D:    symbolic_constant600000D9
// CHECK:STDOUT:       inst6000015E:    concrete_constant(inst6000004E)
// CHECK:STDOUT:       inst6000015F:    symbolic_constant600000EE
// CHECK:STDOUT:       inst60000160:    symbolic_constant600000ED
// CHECK:STDOUT:       inst60000161:    symbolic_constant600000EC
// CHECK:STDOUT:       inst60000162:    symbolic_constant60000132
// CHECK:STDOUT:       inst60000163:    symbolic_constant60000133
// CHECK:STDOUT:       inst60000164:    symbolic_constant60000134
// CHECK:STDOUT:       inst60000165:    symbolic_constant60000135
// CHECK:STDOUT:       inst60000166:    symbolic_constant60000136
// CHECK:STDOUT:       inst60000167:    symbolic_constant60000137
// CHECK:STDOUT:       inst60000168:    symbolic_constant60000138
// CHECK:STDOUT:       inst60000169:    symbolic_constant60000139
// CHECK:STDOUT:       inst6000016A:    symbolic_constant6000013A
// CHECK:STDOUT:       inst6000016B:    symbolic_constant6000013C
// CHECK:STDOUT:       inst6000016C:    symbolic_constant6000013D
// CHECK:STDOUT:       inst6000016D:    symbolic_constant60000140
// CHECK:STDOUT:       inst6000016E:    symbolic_constant6000013F
// CHECK:STDOUT:       inst6000016F:    symbolic_constant60000140
// CHECK:STDOUT:       inst60000170:    symbolic_constant60000141
// CHECK:STDOUT:       inst60000171:    symbolic_constant60000142
// CHECK:STDOUT:       inst60000172:    symbolic_constant60000143
// CHECK:STDOUT:       inst60000173:    symbolic_constant60000144
// CHECK:STDOUT:       inst60000174:    symbolic_constant60000145
// CHECK:STDOUT:       inst60000175:    symbolic_constant60000146
// CHECK:STDOUT:       inst60000176:    symbolic_constant6000014B
// CHECK:STDOUT:       inst60000177:    symbolic_constant60000147
// CHECK:STDOUT:       inst60000178:    symbolic_constant60000148
// CHECK:STDOUT:       inst60000179:    symbolic_constant60000149
// CHECK:STDOUT:       inst6000017A:    symbolic_constant6000014A
// CHECK:STDOUT:       inst6000017B:    symbolic_constant6000014B
// CHECK:STDOUT:       inst6000017D:    symbolic_constant6000014D
// CHECK:STDOUT:       inst6000017E:    symbolic_constant6000014C
// CHECK:STDOUT:       inst6000017F:    symbolic_constant6000014D
// CHECK:STDOUT:       inst60000181:    symbolic_constant60000010
// CHECK:STDOUT:       inst60000185:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst60000186:    concrete_constant(inst60000027)
// CHECK:STDOUT:     symbolic_constants:
// CHECK:STDOUT:       symbolic_constant60000000: {inst: inst60000014, kind: self, attached: null}
// CHECK:STDOUT:       symbolic_constant60000001: {inst: inst60000016, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000002: {inst: inst60000016, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000003: {inst: inst6000001C, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000004: {inst: inst6000001C, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000005: {inst: inst6000001F, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000006: {inst: inst6000001F, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000007: {inst: inst6000002A, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000008: {inst: inst6000002A, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000009: {inst: inst6000002E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000000A: {inst: inst6000002E, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant6000000B: {inst: inst60000032, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000000C: {inst: inst60000032, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant6000000D: {inst: inst60000034, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000000E: {inst: inst60000034, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant6000000F: {inst: inst60000040, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000010: {inst: inst60000040, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000011: {inst: inst60000042, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000012: {inst: inst60000044, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000013: {inst: inst60000044, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000014: {inst: inst60000050, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000015: {inst: inst60000055, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000016: {inst: inst60000056, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000017: {inst: inst60000056, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000018: {inst: inst60000057, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000019: {inst: inst60000055, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant6000001A: {inst: inst60000058, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000001B: {inst: inst60000058, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000001C: {inst: inst6000005D, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000001D: {inst: inst6000005D, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant6000001E: {inst: inst60000057, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000001F: {inst: inst60000050, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000020: {inst: inst6000005D, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000021: {inst: inst60000057, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000022: {inst: inst60000050, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000023: {inst: inst60000057, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000024: {inst: inst60000058, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000025: {inst: inst6000005D, kind: checked, attached: {generic: generic60000002, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000026: {inst: inst60000056, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000027: {inst: inst60000050, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000028: {inst: inst60000050, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000029: {inst: inst60000055, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant6000002A: {inst: inst60000056, kind: checked, attached: {generic: generic60000001, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant6000002B: {inst: inst6000006F, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000002C: {inst: inst60000070, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000002D: {inst: inst60000071, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000002E: {inst: inst60000071, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000002F: {inst: inst60000074, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000030: {inst: inst60000074, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000031: {inst: inst60000076, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000032: {inst: inst60000077, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000033: {inst: inst60000077, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000034: {inst: inst60000076, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000035: {inst: inst60000078, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000036: {inst: inst60000078, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000037: {inst: inst6000007D, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000038: {inst: inst6000007D, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant60000039: {inst: inst60000071, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000003A: {inst: inst60000070, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000003B: {inst: inst6000006F, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000003C: {inst: inst6000006F, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000003D: {inst: inst6000007D, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant6000003E: {inst: inst60000071, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000003F: {inst: inst6000006F, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000040: {inst: inst60000070, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000041: {inst: inst60000071, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000042: {inst: inst60000078, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000043: {inst: inst6000007D, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant60000044: {inst: inst60000086, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000045: {inst: inst60000087, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000046: {inst: inst60000088, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000047: {inst: inst60000089, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000048: {inst: inst6000008A, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000049: {inst: inst6000008B, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000004A: {inst: inst6000008B, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant6000004B: {inst: inst6000008C, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000004C: {inst: inst6000008D, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000004D: {inst: inst6000008A, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant6000004E: {inst: inst60000089, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant6000004F: {inst: inst60000087, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant60000050: {inst: inst60000086, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000051: {inst: inst6000008E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000052: {inst: inst6000008E, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000053: {inst: inst6000008F, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000054: {inst: inst6000008F, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000055: {inst: inst6000008F, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000056: {inst: inst6000008E, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000057: {inst: inst60000086, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000058: {inst: inst60000087, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant60000059: {inst: inst60000089, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant6000005A: {inst: inst6000008A, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant6000005B: {inst: inst6000008B, kind: checked, attached: {generic: generic60000004, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant6000005C: {inst: inst60000071, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000005D: {inst: inst60000070, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000005E: {inst: inst6000006F, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000005F: {inst: inst6000006F, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000060: {inst: inst60000070, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000061: {inst: inst60000071, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000062: {inst: inst60000074, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000063: {inst: inst60000077, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000064: {inst: inst60000076, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000065: {inst: inst60000077, kind: checked, attached: {generic: generic60000003, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000066: {inst: inst6000001C, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000067: {inst: inst600000B6, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000068: {inst: inst600000B6, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000069: {inst: inst6000001C, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000006A: {inst: inst60000016, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000006B: {inst: inst60000016, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000006C: {inst: inst60000016, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000006D: {inst: inst6000001C, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000006E: {inst: inst600000B6, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000006F: {inst: inst60000040, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000070: {inst: inst600000BF, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000071: {inst: inst600000C0, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000072: {inst: inst600000C0, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000073: {inst: inst600000BF, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000074: {inst: inst6000001F, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000075: {inst: inst600000C5, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000076: {inst: inst600000C5, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000077: {inst: inst6000001C, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000078: {inst: inst60000016, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000079: {inst: inst600000C5, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant6000007A: {inst: inst6000001C, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000007B: {inst: inst60000016, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000007C: {inst: inst6000001C, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000007D: {inst: inst6000001F, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000007E: {inst: inst600000C5, kind: checked, attached: {generic: generic60000006, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant6000007F: {inst: inst600000C0, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000080: {inst: inst600000BF, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000081: {inst: inst600000C0, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000082: {inst: inst60000040, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000083: {inst: inst600000DA, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000084: {inst: inst600000DB, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000085: {inst: inst600000DC, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000086: {inst: inst600000DC, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant60000087: {inst: inst600000DF, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000088: {inst: inst600000DF, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant60000089: {inst: inst600000E1, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000008A: {inst: inst600000E2, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000008B: {inst: inst600000E2, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant6000008C: {inst: inst600000E1, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant6000008D: {inst: inst600000E4, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000008E: {inst: inst600000E5, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000008F: {inst: inst600000E5, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant60000090: {inst: inst600000EA, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000091: {inst: inst600000EA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant60000092: {inst: inst600000DC, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant60000093: {inst: inst600000DB, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000094: {inst: inst600000DA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000095: {inst: inst60000070, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000096: {inst: inst6000006F, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000097: {inst: inst600000DA, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000098: {inst: inst6000006F, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000099: {inst: inst600000EA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant6000009A: {inst: inst600000DC, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant6000009B: {inst: inst6000006F, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant6000009C: {inst: inst60000070, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant6000009D: {inst: inst600000DA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000009E: {inst: inst600000DB, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant6000009F: {inst: inst600000DC, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant600000A0: {inst: inst600000E5, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant600000A1: {inst: inst600000EA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant600000A2: {inst: inst600000F6, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A3: {inst: inst600000F7, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A4: {inst: inst600000F8, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A5: {inst: inst600000F9, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A6: {inst: inst600000FA, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A7: {inst: inst600000FB, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000A8: {inst: inst600000FB, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def12}}
// CHECK:STDOUT:       symbolic_constant600000A9: {inst: inst600000FC, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000AA: {inst: inst600000FD, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000AB: {inst: inst600000FA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def11}}
// CHECK:STDOUT:       symbolic_constant600000AC: {inst: inst600000F9, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def10}}
// CHECK:STDOUT:       symbolic_constant600000AD: {inst: inst600000F7, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def9}}
// CHECK:STDOUT:       symbolic_constant600000AE: {inst: inst600000F6, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def8}}
// CHECK:STDOUT:       symbolic_constant600000AF: {inst: inst600000FE, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000B0: {inst: inst600000FE, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def7}}
// CHECK:STDOUT:       symbolic_constant600000B1: {inst: inst6000008B, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant600000B2: {inst: inst6000008A, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant600000B3: {inst: inst60000089, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant600000B4: {inst: inst60000087, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant600000B5: {inst: inst60000086, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant600000B6: {inst: inst6000008E, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant600000B7: {inst: inst600000FF, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000B8: {inst: inst600000FF, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant600000B9: {inst: inst600000FF, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant600000BA: {inst: inst6000008E, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant600000BB: {inst: inst60000086, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant600000BC: {inst: inst60000087, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant600000BD: {inst: inst60000089, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant600000BE: {inst: inst6000008A, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant600000BF: {inst: inst6000008B, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant600000C0: {inst: inst600000FE, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def7}}
// CHECK:STDOUT:       symbolic_constant600000C1: {inst: inst600000F6, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def8}}
// CHECK:STDOUT:       symbolic_constant600000C2: {inst: inst600000F7, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def9}}
// CHECK:STDOUT:       symbolic_constant600000C3: {inst: inst600000F9, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def10}}
// CHECK:STDOUT:       symbolic_constant600000C4: {inst: inst600000FA, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def11}}
// CHECK:STDOUT:       symbolic_constant600000C5: {inst: inst600000FB, kind: checked, attached: {generic: generic60000008, index: generic_inst_in_def12}}
// CHECK:STDOUT:       symbolic_constant600000C6: {inst: inst600000DC, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant600000C7: {inst: inst600000DB, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant600000C8: {inst: inst60000070, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant600000C9: {inst: inst600000E4, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant600000CA: {inst: inst600000DA, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant600000CB: {inst: inst6000006F, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant600000CC: {inst: inst6000006F, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant600000CD: {inst: inst600000DA, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant600000CE: {inst: inst600000E4, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant600000CF: {inst: inst60000070, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant600000D0: {inst: inst600000DB, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant600000D1: {inst: inst600000DC, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant600000D2: {inst: inst600000DF, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant600000D3: {inst: inst600000E2, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant600000D4: {inst: inst600000E1, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant600000D5: {inst: inst600000E2, kind: checked, attached: {generic: generic60000007, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant600000D6: {inst: inst6000011E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000D7: {inst: inst6000011F, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000D8: {inst: inst60000120, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000D9: {inst: inst60000120, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl7}}
// CHECK:STDOUT:       symbolic_constant600000DA: {inst: inst60000123, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000DB: {inst: inst60000123, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl8}}
// CHECK:STDOUT:       symbolic_constant600000DC: {inst: inst60000125, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000DD: {inst: inst60000126, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000DE: {inst: inst60000126, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant600000DF: {inst: inst60000125, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant600000E0: {inst: inst60000128, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000E1: {inst: inst60000129, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000E2: {inst: inst60000129, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl7}}
// CHECK:STDOUT:       symbolic_constant600000E3: {inst: inst6000012E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000E4: {inst: inst6000012E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl8}}
// CHECK:STDOUT:       symbolic_constant600000E5: {inst: inst60000120, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant600000E6: {inst: inst6000011F, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant600000E7: {inst: inst6000011E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant600000E8: {inst: inst600000DB, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant600000E9: {inst: inst600000DA, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant600000EA: {inst: inst60000070, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant600000EB: {inst: inst6000006F, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant600000EC: {inst: inst6000011E, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant600000ED: {inst: inst600000DA, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant600000EE: {inst: inst6000006F, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant600000EF: {inst: inst6000012E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl8}}
// CHECK:STDOUT:       symbolic_constant600000F0: {inst: inst60000120, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant600000F1: {inst: inst6000006F, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant600000F2: {inst: inst60000070, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant600000F3: {inst: inst600000DA, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant600000F4: {inst: inst600000DB, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant600000F5: {inst: inst6000011E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant600000F6: {inst: inst6000011F, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant600000F7: {inst: inst60000120, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant600000F8: {inst: inst60000129, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl7}}
// CHECK:STDOUT:       symbolic_constant600000F9: {inst: inst6000012E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_decl8}}
// CHECK:STDOUT:       symbolic_constant600000FA: {inst: inst6000013D, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000FB: {inst: inst6000013E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000FC: {inst: inst6000013F, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000FD: {inst: inst60000140, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000FE: {inst: inst60000141, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant600000FF: {inst: inst60000142, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000100: {inst: inst60000142, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def18}}
// CHECK:STDOUT:       symbolic_constant60000101: {inst: inst60000143, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000102: {inst: inst60000144, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000103: {inst: inst60000141, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def17}}
// CHECK:STDOUT:       symbolic_constant60000104: {inst: inst60000140, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def16}}
// CHECK:STDOUT:       symbolic_constant60000105: {inst: inst6000013E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def15}}
// CHECK:STDOUT:       symbolic_constant60000106: {inst: inst6000013D, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def14}}
// CHECK:STDOUT:       symbolic_constant60000107: {inst: inst60000145, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000108: {inst: inst60000145, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def13}}
// CHECK:STDOUT:       symbolic_constant60000109: {inst: inst600000FB, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def12}}
// CHECK:STDOUT:       symbolic_constant6000010A: {inst: inst600000FA, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def11}}
// CHECK:STDOUT:       symbolic_constant6000010B: {inst: inst600000F9, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def10}}
// CHECK:STDOUT:       symbolic_constant6000010C: {inst: inst600000F7, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def9}}
// CHECK:STDOUT:       symbolic_constant6000010D: {inst: inst600000F6, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def8}}
// CHECK:STDOUT:       symbolic_constant6000010E: {inst: inst600000FE, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def7}}
// CHECK:STDOUT:       symbolic_constant6000010F: {inst: inst6000008B, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant60000110: {inst: inst6000008A, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant60000111: {inst: inst60000089, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant60000112: {inst: inst60000087, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant60000113: {inst: inst60000086, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000114: {inst: inst6000008E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000115: {inst: inst60000146, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000116: {inst: inst60000146, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000117: {inst: inst60000146, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant60000118: {inst: inst6000008E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant60000119: {inst: inst60000086, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant6000011A: {inst: inst60000087, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant6000011B: {inst: inst60000089, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant6000011C: {inst: inst6000008A, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant6000011D: {inst: inst6000008B, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant6000011E: {inst: inst600000FE, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def7}}
// CHECK:STDOUT:       symbolic_constant6000011F: {inst: inst600000F6, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def8}}
// CHECK:STDOUT:       symbolic_constant60000120: {inst: inst600000F7, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def9}}
// CHECK:STDOUT:       symbolic_constant60000121: {inst: inst600000F9, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def10}}
// CHECK:STDOUT:       symbolic_constant60000122: {inst: inst600000FA, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def11}}
// CHECK:STDOUT:       symbolic_constant60000123: {inst: inst600000FB, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def12}}
// CHECK:STDOUT:       symbolic_constant60000124: {inst: inst60000145, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def13}}
// CHECK:STDOUT:       symbolic_constant60000125: {inst: inst6000013D, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def14}}
// CHECK:STDOUT:       symbolic_constant60000126: {inst: inst6000013E, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def15}}
// CHECK:STDOUT:       symbolic_constant60000127: {inst: inst60000140, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def16}}
// CHECK:STDOUT:       symbolic_constant60000128: {inst: inst60000141, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def17}}
// CHECK:STDOUT:       symbolic_constant60000129: {inst: inst60000142, kind: checked, attached: {generic: generic6000000A, index: generic_inst_in_def18}}
// CHECK:STDOUT:       symbolic_constant6000012A: {inst: inst60000120, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl7}}
// CHECK:STDOUT:       symbolic_constant6000012B: {inst: inst6000011F, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant6000012C: {inst: inst600000DB, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant6000012D: {inst: inst60000070, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant6000012E: {inst: inst60000128, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant6000012F: {inst: inst6000011E, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000130: {inst: inst600000DA, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000131: {inst: inst6000006F, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000132: {inst: inst6000006F, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl0}}
// CHECK:STDOUT:       symbolic_constant60000133: {inst: inst600000DA, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl1}}
// CHECK:STDOUT:       symbolic_constant60000134: {inst: inst6000011E, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant60000135: {inst: inst60000128, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl3}}
// CHECK:STDOUT:       symbolic_constant60000136: {inst: inst60000070, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl4}}
// CHECK:STDOUT:       symbolic_constant60000137: {inst: inst600000DB, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl5}}
// CHECK:STDOUT:       symbolic_constant60000138: {inst: inst6000011F, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl6}}
// CHECK:STDOUT:       symbolic_constant60000139: {inst: inst60000120, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl7}}
// CHECK:STDOUT:       symbolic_constant6000013A: {inst: inst60000123, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_decl8}}
// CHECK:STDOUT:       symbolic_constant6000013B: {inst: inst60000126, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant6000013C: {inst: inst60000125, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_def0}}
// CHECK:STDOUT:       symbolic_constant6000013D: {inst: inst60000126, kind: checked, attached: {generic: generic60000009, index: generic_inst_in_def1}}
// CHECK:STDOUT:       symbolic_constant6000013E: {inst: inst600000B6, kind: checked, attached: {generic: generic60000005, index: generic_inst_in_decl2}}
// CHECK:STDOUT:       symbolic_constant6000013F: {inst: inst6000016E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000140: {inst: inst6000016E, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def2}}
// CHECK:STDOUT:       symbolic_constant60000141: {inst: inst60000170, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000142: {inst: inst60000170, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def3}}
// CHECK:STDOUT:       symbolic_constant60000143: {inst: inst60000172, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000144: {inst: inst60000173, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000145: {inst: inst60000174, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000146: {inst: inst60000175, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000147: {inst: inst60000177, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant60000148: {inst: inst60000172, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def4}}
// CHECK:STDOUT:       symbolic_constant60000149: {inst: inst60000173, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def5}}
// CHECK:STDOUT:       symbolic_constant6000014A: {inst: inst60000175, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def6}}
// CHECK:STDOUT:       symbolic_constant6000014B: {inst: inst60000177, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def7}}
// CHECK:STDOUT:       symbolic_constant6000014C: {inst: inst6000017E, kind: checked, attached: null}
// CHECK:STDOUT:       symbolic_constant6000014D: {inst: inst6000017E, kind: checked, attached: {generic: generic60000000, index: generic_inst_in_def8}}
// CHECK:STDOUT:   inst_blocks:
// CHECK:STDOUT:     inst_block_empty: {}
// CHECK:STDOUT:     exports:
// CHECK:STDOUT:       0:               inst6000003C
// CHECK:STDOUT:     imports:
// CHECK:STDOUT:       0:               inst60000011
// CHECK:STDOUT:       1:               inst6000004C
// CHECK:STDOUT:       2:               inst6000004D
// CHECK:STDOUT:       3:               inst6000004F
// CHECK:STDOUT:       4:               inst60000051
// CHECK:STDOUT:       5:               inst60000052
// CHECK:STDOUT:       6:               inst60000053
// CHECK:STDOUT:       7:               inst60000054
// CHECK:STDOUT:       8:               inst60000059
// CHECK:STDOUT:       9:               inst6000005A
// CHECK:STDOUT:       10:              inst6000005B
// CHECK:STDOUT:       11:              inst6000005C
// CHECK:STDOUT:       12:              inst6000005E
// CHECK:STDOUT:       13:              inst6000005F
// CHECK:STDOUT:       14:              inst60000060
// CHECK:STDOUT:       15:              inst60000068
// CHECK:STDOUT:       16:              inst6000006A
// CHECK:STDOUT:       17:              inst6000006D
// CHECK:STDOUT:       18:              inst6000006E
// CHECK:STDOUT:       19:              inst60000072
// CHECK:STDOUT:       20:              inst60000073
// CHECK:STDOUT:       21:              inst60000075
// CHECK:STDOUT:       22:              inst60000079
// CHECK:STDOUT:       23:              inst6000007A
// CHECK:STDOUT:       24:              inst6000007B
// CHECK:STDOUT:       25:              inst6000007C
// CHECK:STDOUT:       26:              inst6000007E
// CHECK:STDOUT:       27:              inst6000007F
// CHECK:STDOUT:       28:              inst60000080
// CHECK:STDOUT:       29:              inst60000098
// CHECK:STDOUT:       30:              inst60000099
// CHECK:STDOUT:       31:              inst6000009A
// CHECK:STDOUT:       32:              inst6000009B
// CHECK:STDOUT:       33:              inst600000A2
// CHECK:STDOUT:       34:              inst600000A3
// CHECK:STDOUT:       35:              inst600000A4
// CHECK:STDOUT:       36:              inst600000A5
// CHECK:STDOUT:       37:              inst600000A6
// CHECK:STDOUT:       38:              inst600000A7
// CHECK:STDOUT:       39:              inst600000A8
// CHECK:STDOUT:       40:              inst600000A9
// CHECK:STDOUT:       41:              inst600000AA
// CHECK:STDOUT:       42:              inst600000AB
// CHECK:STDOUT:       43:              inst600000AC
// CHECK:STDOUT:       44:              inst600000AD
// CHECK:STDOUT:       45:              inst600000AE
// CHECK:STDOUT:       46:              inst600000AF
// CHECK:STDOUT:       47:              inst600000B0
// CHECK:STDOUT:       48:              inst600000B1
// CHECK:STDOUT:       49:              inst600000B2
// CHECK:STDOUT:       50:              inst600000B3
// CHECK:STDOUT:       51:              inst600000B4
// CHECK:STDOUT:       52:              inst600000B5
// CHECK:STDOUT:       53:              inst600000B7
// CHECK:STDOUT:       54:              inst600000B8
// CHECK:STDOUT:       55:              inst600000B9
// CHECK:STDOUT:       56:              inst600000BA
// CHECK:STDOUT:       57:              inst600000BE
// CHECK:STDOUT:       58:              inst600000C1
// CHECK:STDOUT:       59:              inst600000C2
// CHECK:STDOUT:       60:              inst600000C3
// CHECK:STDOUT:       61:              inst600000C4
// CHECK:STDOUT:       62:              inst600000C6
// CHECK:STDOUT:       63:              inst600000C7
// CHECK:STDOUT:       64:              inst600000C8
// CHECK:STDOUT:       65:              inst600000D0
// CHECK:STDOUT:       66:              inst600000D1
// CHECK:STDOUT:       67:              inst600000D2
// CHECK:STDOUT:       68:              inst600000D3
// CHECK:STDOUT:       69:              inst600000D4
// CHECK:STDOUT:       70:              inst600000D5
// CHECK:STDOUT:       71:              inst600000D6
// CHECK:STDOUT:       72:              inst600000D7
// CHECK:STDOUT:       73:              inst600000D8
// CHECK:STDOUT:       74:              inst600000D9
// CHECK:STDOUT:       75:              inst600000DD
// CHECK:STDOUT:       76:              inst600000DE
// CHECK:STDOUT:       77:              inst600000E0
// CHECK:STDOUT:       78:              inst600000E6
// CHECK:STDOUT:       79:              inst600000E7
// CHECK:STDOUT:       80:              inst600000E8
// CHECK:STDOUT:       81:              inst600000E9
// CHECK:STDOUT:       82:              inst600000EB
// CHECK:STDOUT:       83:              inst600000EC
// CHECK:STDOUT:       84:              inst600000ED
// CHECK:STDOUT:       85:              inst600000EE
// CHECK:STDOUT:       86:              inst6000010D
// CHECK:STDOUT:       87:              inst6000010E
// CHECK:STDOUT:       88:              inst6000010F
// CHECK:STDOUT:       89:              inst60000110
// CHECK:STDOUT:       90:              inst60000111
// CHECK:STDOUT:       91:              inst60000112
// CHECK:STDOUT:       92:              inst6000011C
// CHECK:STDOUT:       93:              inst6000011D
// CHECK:STDOUT:       94:              inst60000121
// CHECK:STDOUT:       95:              inst60000122
// CHECK:STDOUT:       96:              inst60000124
// CHECK:STDOUT:       97:              inst6000012A
// CHECK:STDOUT:       98:              inst6000012B
// CHECK:STDOUT:       99:              inst6000012C
// CHECK:STDOUT:       100:             inst6000012D
// CHECK:STDOUT:       101:             inst6000012F
// CHECK:STDOUT:       102:             inst60000130
// CHECK:STDOUT:       103:             inst60000131
// CHECK:STDOUT:       104:             inst60000132
// CHECK:STDOUT:       105:             inst60000133
// CHECK:STDOUT:       106:             inst6000015A
// CHECK:STDOUT:       107:             inst6000015B
// CHECK:STDOUT:       108:             inst6000015C
// CHECK:STDOUT:       109:             inst6000015D
// CHECK:STDOUT:       110:             inst6000015E
// CHECK:STDOUT:       111:             inst6000015F
// CHECK:STDOUT:       112:             inst60000160
// CHECK:STDOUT:       113:             inst60000161
// CHECK:STDOUT:     global_init:     {}
// CHECK:STDOUT:     inst_block60000004:
// CHECK:STDOUT:       0:               inst60000013
// CHECK:STDOUT:     inst_block60000005:
// CHECK:STDOUT:       0:               inst60000019
// CHECK:STDOUT:     inst_block60000006:
// CHECK:STDOUT:       0:               inst6000001A
// CHECK:STDOUT:       1:               inst6000001B
// CHECK:STDOUT:     inst_block60000007:
// CHECK:STDOUT:       0:               inst60000022
// CHECK:STDOUT:     inst_block60000008:
// CHECK:STDOUT:       0:               inst60000024
// CHECK:STDOUT:       1:               inst60000026
// CHECK:STDOUT:     inst_block60000009:
// CHECK:STDOUT:       0:               inst(TypeType)
// CHECK:STDOUT:       1:               inst60000025
// CHECK:STDOUT:     inst_block6000000A:
// CHECK:STDOUT:       0:               inst6000001C
// CHECK:STDOUT:       1:               inst60000027
// CHECK:STDOUT:     inst_block6000000B:
// CHECK:STDOUT:       0:               inst6000001D
// CHECK:STDOUT:       1:               inst60000027
// CHECK:STDOUT:     inst_block6000000C:
// CHECK:STDOUT:       0:               inst6000001C
// CHECK:STDOUT:       1:               inst6000002D
// CHECK:STDOUT:     inst_block6000000D:
// CHECK:STDOUT:       0:               inst6000001C
// CHECK:STDOUT:       1:               inst60000025
// CHECK:STDOUT:     inst_block6000000E:
// CHECK:STDOUT:       0:               inst6000001D
// CHECK:STDOUT:       1:               inst60000025
// CHECK:STDOUT:     inst_block6000000F:
// CHECK:STDOUT:       0:               inst60000037
// CHECK:STDOUT:     inst_block60000010:
// CHECK:STDOUT:       0:               inst60000022
// CHECK:STDOUT:       1:               inst60000037
// CHECK:STDOUT:     inst_block60000011:
// CHECK:STDOUT:       0:               inst60000038
// CHECK:STDOUT:       1:               inst6000003A
// CHECK:STDOUT:     inst_block60000012:
// CHECK:STDOUT:       0:               inst60000019
// CHECK:STDOUT:       1:               inst60000020
// CHECK:STDOUT:       2:               inst60000022
// CHECK:STDOUT:       3:               inst60000035
// CHECK:STDOUT:       4:               inst60000037
// CHECK:STDOUT:     inst_block60000013:
// CHECK:STDOUT:       0:               inst60000023
// CHECK:STDOUT:       1:               inst60000024
// CHECK:STDOUT:       2:               inst60000026
// CHECK:STDOUT:       3:               inst60000029
// CHECK:STDOUT:       4:               inst6000002D
// CHECK:STDOUT:       5:               inst6000002F
// CHECK:STDOUT:       6:               inst60000031
// CHECK:STDOUT:       7:               inst60000013
// CHECK:STDOUT:       8:               inst60000015
// CHECK:STDOUT:       9:               inst60000038
// CHECK:STDOUT:       10:              inst60000039
// CHECK:STDOUT:       11:              inst6000001E
// CHECK:STDOUT:       12:              inst6000003A
// CHECK:STDOUT:       13:              inst6000003B
// CHECK:STDOUT:     inst_block60000014:
// CHECK:STDOUT:       0:               inst60000015
// CHECK:STDOUT:     inst_block60000015:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:     inst_block60000016:
// CHECK:STDOUT:       0:               inst60000017
// CHECK:STDOUT:       1:               inst6000001D
// CHECK:STDOUT:       2:               inst60000021
// CHECK:STDOUT:       3:               inst6000002B
// CHECK:STDOUT:       4:               inst60000030
// CHECK:STDOUT:       5:               inst60000033
// CHECK:STDOUT:       6:               inst60000036
// CHECK:STDOUT:     inst_block60000017:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst6000001F
// CHECK:STDOUT:       3:               inst6000002A
// CHECK:STDOUT:       4:               inst6000002E
// CHECK:STDOUT:       5:               inst60000032
// CHECK:STDOUT:       6:               inst60000034
// CHECK:STDOUT:     inst_block60000018:
// CHECK:STDOUT:       0:               inst60000046
// CHECK:STDOUT:       1:               inst60000047
// CHECK:STDOUT:       2:               inst60000048
// CHECK:STDOUT:       3:               inst60000176
// CHECK:STDOUT:       4:               inst6000017C
// CHECK:STDOUT:       5:               inst6000017D
// CHECK:STDOUT:       6:               inst60000180
// CHECK:STDOUT:       7:               inst60000182
// CHECK:STDOUT:       8:               inst6000004A
// CHECK:STDOUT:       9:               inst60000183
// CHECK:STDOUT:       10:              inst60000184
// CHECK:STDOUT:       11:              inst60000185
// CHECK:STDOUT:       12:              inst60000186
// CHECK:STDOUT:       13:              inst60000187
// CHECK:STDOUT:       14:              inst60000188
// CHECK:STDOUT:       15:              inst60000189
// CHECK:STDOUT:     inst_block60000019:
// CHECK:STDOUT:       0:               inst60000046
// CHECK:STDOUT:       1:               inst60000047
// CHECK:STDOUT:     inst_block6000001A:
// CHECK:STDOUT:       0:               inst60000052
// CHECK:STDOUT:     inst_block6000001B:
// CHECK:STDOUT:       0:               inst60000053
// CHECK:STDOUT:     inst_block6000001C:
// CHECK:STDOUT:       0:               inst60000050
// CHECK:STDOUT:     inst_block6000001D:
// CHECK:STDOUT:       0:               inst60000050
// CHECK:STDOUT:       1:               inst60000055
// CHECK:STDOUT:       2:               inst60000056
// CHECK:STDOUT:     inst_block6000001E:
// CHECK:STDOUT:       0:               inst6000005C
// CHECK:STDOUT:       1:               inst6000005A
// CHECK:STDOUT:     inst_block6000001F:
// CHECK:STDOUT:       0:               inst6000005C
// CHECK:STDOUT:     inst_block60000020:
// CHECK:STDOUT:       0:               inst6000005A
// CHECK:STDOUT:     inst_block60000021:
// CHECK:STDOUT:       0:               inst60000060
// CHECK:STDOUT:     inst_block60000022:
// CHECK:STDOUT:       0:               inst60000061
// CHECK:STDOUT:       1:               inst60000062
// CHECK:STDOUT:       2:               inst60000063
// CHECK:STDOUT:       3:               inst60000064
// CHECK:STDOUT:     inst_block60000023:
// CHECK:STDOUT:       0:               inst60000050
// CHECK:STDOUT:       1:               inst60000057
// CHECK:STDOUT:       2:               inst60000058
// CHECK:STDOUT:       3:               inst6000005D
// CHECK:STDOUT:     inst_block60000024:
// CHECK:STDOUT:       0:               inst60000065
// CHECK:STDOUT:     inst_block60000025:
// CHECK:STDOUT:       0:               inst60000065
// CHECK:STDOUT:       1:               inst60000066
// CHECK:STDOUT:       2:               inst60000067
// CHECK:STDOUT:     inst_block60000026:
// CHECK:STDOUT:       0:               inst60000072
// CHECK:STDOUT:     inst_block60000027:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:     inst_block60000028:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000070
// CHECK:STDOUT:       2:               inst60000071
// CHECK:STDOUT:       3:               inst60000074
// CHECK:STDOUT:     inst_block60000029:
// CHECK:STDOUT:       0:               inst60000076
// CHECK:STDOUT:       1:               inst60000077
// CHECK:STDOUT:     inst_block6000002A:
// CHECK:STDOUT:       0:               inst6000007C
// CHECK:STDOUT:       1:               inst6000007A
// CHECK:STDOUT:     inst_block6000002B:
// CHECK:STDOUT:       0:               inst6000007C
// CHECK:STDOUT:     inst_block6000002C:
// CHECK:STDOUT:       0:               inst6000007A
// CHECK:STDOUT:     inst_block6000002D:
// CHECK:STDOUT:       0:               inst60000080
// CHECK:STDOUT:     inst_block6000002E:
// CHECK:STDOUT:       0:               inst60000081
// CHECK:STDOUT:       1:               inst60000082
// CHECK:STDOUT:       2:               inst60000083
// CHECK:STDOUT:       3:               inst60000084
// CHECK:STDOUT:       4:               inst60000085
// CHECK:STDOUT:     inst_block6000002F:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000087
// CHECK:STDOUT:       2:               inst60000088
// CHECK:STDOUT:     inst_block60000030:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000070
// CHECK:STDOUT:       2:               inst6000008D
// CHECK:STDOUT:       3:               inst6000008C
// CHECK:STDOUT:     inst_block60000031:
// CHECK:STDOUT:       0:               inst60000081
// CHECK:STDOUT:     inst_block60000032:
// CHECK:STDOUT:       0:               inst60000081
// CHECK:STDOUT:     inst_block60000033:
// CHECK:STDOUT:       0:               inst60000090
// CHECK:STDOUT:       1:               inst60000091
// CHECK:STDOUT:       2:               inst60000092
// CHECK:STDOUT:       3:               inst60000093
// CHECK:STDOUT:       4:               inst60000094
// CHECK:STDOUT:       5:               inst60000095
// CHECK:STDOUT:       6:               inst60000096
// CHECK:STDOUT:     inst_block60000034:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000070
// CHECK:STDOUT:       2:               inst60000071
// CHECK:STDOUT:       3:               inst60000078
// CHECK:STDOUT:       4:               inst6000007D
// CHECK:STDOUT:     inst_block60000035:
// CHECK:STDOUT:       0:               inst60000098
// CHECK:STDOUT:     inst_block60000036:
// CHECK:STDOUT:       0:               inst6000009B
// CHECK:STDOUT:     inst_block60000037:
// CHECK:STDOUT:       0:               inst6000009C
// CHECK:STDOUT:     inst_block60000038:
// CHECK:STDOUT:       0:               inst6000009C
// CHECK:STDOUT:       1:               inst6000009D
// CHECK:STDOUT:       2:               inst6000009E
// CHECK:STDOUT:       3:               inst6000009F
// CHECK:STDOUT:     inst_block60000039:
// CHECK:STDOUT:       0:               inst6000009C
// CHECK:STDOUT:     inst_block6000003A:
// CHECK:STDOUT:       0:               inst600000A0
// CHECK:STDOUT:       1:               inst600000A1
// CHECK:STDOUT:     inst_block6000003B:
// CHECK:STDOUT:       0:               inst600000B4
// CHECK:STDOUT:     inst_block6000003C:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst600000B6
// CHECK:STDOUT:     inst_block6000003D:
// CHECK:STDOUT:       0:               inst600000B7
// CHECK:STDOUT:     inst_block6000003E:
// CHECK:STDOUT:       0:               inst600000BA
// CHECK:STDOUT:     inst_block6000003F:
// CHECK:STDOUT:       0:               inst600000BB
// CHECK:STDOUT:     inst_block60000040:
// CHECK:STDOUT:       0:               inst600000BB
// CHECK:STDOUT:       1:               inst600000BC
// CHECK:STDOUT:       2:               inst600000BD
// CHECK:STDOUT:     inst_block60000041:
// CHECK:STDOUT:       0:               inst600000C4
// CHECK:STDOUT:       1:               inst600000C2
// CHECK:STDOUT:     inst_block60000042:
// CHECK:STDOUT:       0:               inst600000C4
// CHECK:STDOUT:     inst_block60000043:
// CHECK:STDOUT:       0:               inst600000C2
// CHECK:STDOUT:     inst_block60000044:
// CHECK:STDOUT:       0:               inst600000C8
// CHECK:STDOUT:     inst_block60000045:
// CHECK:STDOUT:       0:               inst600000C9
// CHECK:STDOUT:       1:               inst600000CA
// CHECK:STDOUT:       2:               inst600000CB
// CHECK:STDOUT:       3:               inst600000CC
// CHECK:STDOUT:     inst_block60000046:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst6000001F
// CHECK:STDOUT:       3:               inst600000C5
// CHECK:STDOUT:     inst_block60000047:
// CHECK:STDOUT:       0:               inst600000BB
// CHECK:STDOUT:     inst_block60000048:
// CHECK:STDOUT:       0:               inst600000CD
// CHECK:STDOUT:       1:               inst600000CE
// CHECK:STDOUT:       2:               inst600000CF
// CHECK:STDOUT:     inst_block60000049:
// CHECK:STDOUT:       0:               inst60000070
// CHECK:STDOUT:       1:               inst600000DB
// CHECK:STDOUT:     inst_block6000004A:
// CHECK:STDOUT:       0:               inst600000DD
// CHECK:STDOUT:     inst_block6000004B:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst600000DA
// CHECK:STDOUT:     inst_block6000004C:
// CHECK:STDOUT:       0:               inst6000004E
// CHECK:STDOUT:       1:               inst6000004E
// CHECK:STDOUT:     inst_block6000004D:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst600000DA
// CHECK:STDOUT:       2:               inst600000E4
// CHECK:STDOUT:       3:               inst60000070
// CHECK:STDOUT:       4:               inst600000DB
// CHECK:STDOUT:       5:               inst600000DC
// CHECK:STDOUT:       6:               inst600000DF
// CHECK:STDOUT:     inst_block6000004E:
// CHECK:STDOUT:       0:               inst600000E1
// CHECK:STDOUT:       1:               inst600000E2
// CHECK:STDOUT:     inst_block6000004F:
// CHECK:STDOUT:       0:               inst600000E9
// CHECK:STDOUT:       1:               inst600000E7
// CHECK:STDOUT:     inst_block60000050:
// CHECK:STDOUT:       0:               inst600000E9
// CHECK:STDOUT:     inst_block60000051:
// CHECK:STDOUT:       0:               inst600000E7
// CHECK:STDOUT:     inst_block60000052:
// CHECK:STDOUT:       0:               inst600000ED
// CHECK:STDOUT:       1:               inst600000EE
// CHECK:STDOUT:     inst_block60000053:
// CHECK:STDOUT:       0:               inst600000F0
// CHECK:STDOUT:       1:               inst600000F2
// CHECK:STDOUT:     inst_block60000054:
// CHECK:STDOUT:       0:               inst600000EF
// CHECK:STDOUT:       1:               inst600000F0
// CHECK:STDOUT:       2:               inst600000F1
// CHECK:STDOUT:       3:               inst600000F2
// CHECK:STDOUT:       4:               inst600000F3
// CHECK:STDOUT:       5:               inst600000F4
// CHECK:STDOUT:       6:               inst600000F5
// CHECK:STDOUT:     inst_block60000055:
// CHECK:STDOUT:       0:               inst600000DA
// CHECK:STDOUT:     inst_block60000056:
// CHECK:STDOUT:       0:               inst600000DA
// CHECK:STDOUT:       1:               inst600000F7
// CHECK:STDOUT:       2:               inst600000F8
// CHECK:STDOUT:     inst_block60000057:
// CHECK:STDOUT:       0:               inst600000DA
// CHECK:STDOUT:       1:               inst600000DB
// CHECK:STDOUT:       2:               inst600000FD
// CHECK:STDOUT:       3:               inst600000FC
// CHECK:STDOUT:     inst_block60000058:
// CHECK:STDOUT:       0:               inst600000EF
// CHECK:STDOUT:     inst_block60000059:
// CHECK:STDOUT:       0:               inst600000EF
// CHECK:STDOUT:     inst_block6000005A:
// CHECK:STDOUT:       0:               inst600000F1
// CHECK:STDOUT:     inst_block6000005B:
// CHECK:STDOUT:       0:               inst600000F1
// CHECK:STDOUT:     inst_block6000005C:
// CHECK:STDOUT:       0:               inst60000100
// CHECK:STDOUT:       1:               inst60000101
// CHECK:STDOUT:       2:               inst60000102
// CHECK:STDOUT:       3:               inst60000103
// CHECK:STDOUT:       4:               inst60000104
// CHECK:STDOUT:       5:               inst60000105
// CHECK:STDOUT:       6:               inst60000106
// CHECK:STDOUT:       7:               inst60000107
// CHECK:STDOUT:       8:               inst60000108
// CHECK:STDOUT:       9:               inst60000109
// CHECK:STDOUT:       10:              inst6000010A
// CHECK:STDOUT:       11:              inst6000010B
// CHECK:STDOUT:       12:              inst6000010C
// CHECK:STDOUT:     inst_block6000005D:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000070
// CHECK:STDOUT:       2:               inst600000DA
// CHECK:STDOUT:       3:               inst600000DB
// CHECK:STDOUT:       4:               inst600000DC
// CHECK:STDOUT:       5:               inst600000E5
// CHECK:STDOUT:       6:               inst600000EA
// CHECK:STDOUT:     inst_block6000005E:
// CHECK:STDOUT:       0:               inst6000010E
// CHECK:STDOUT:       1:               inst6000010D
// CHECK:STDOUT:     inst_block6000005F:
// CHECK:STDOUT:       0:               inst60000111
// CHECK:STDOUT:       1:               inst60000112
// CHECK:STDOUT:     inst_block60000060:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:       1:               inst60000114
// CHECK:STDOUT:     inst_block60000061:
// CHECK:STDOUT:       0:               inst60000116
// CHECK:STDOUT:       1:               inst60000117
// CHECK:STDOUT:     inst_block60000062:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:       1:               inst60000114
// CHECK:STDOUT:     inst_block60000063:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:       1:               inst60000114
// CHECK:STDOUT:       2:               inst60000115
// CHECK:STDOUT:       3:               inst60000116
// CHECK:STDOUT:       4:               inst60000117
// CHECK:STDOUT:       5:               inst60000118
// CHECK:STDOUT:       6:               inst60000119
// CHECK:STDOUT:     inst_block60000064:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:       1:               inst60000114
// CHECK:STDOUT:     inst_block60000065:
// CHECK:STDOUT:       0:               inst6000011A
// CHECK:STDOUT:       1:               inst6000011B
// CHECK:STDOUT:     inst_block60000066:
// CHECK:STDOUT:       0:               inst60000070
// CHECK:STDOUT:       1:               inst600000DB
// CHECK:STDOUT:       2:               inst6000011F
// CHECK:STDOUT:     inst_block60000067:
// CHECK:STDOUT:       0:               inst60000121
// CHECK:STDOUT:     inst_block60000068:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst600000DA
// CHECK:STDOUT:       2:               inst6000011E
// CHECK:STDOUT:     inst_block60000069:
// CHECK:STDOUT:       0:               inst6000004E
// CHECK:STDOUT:       1:               inst6000004E
// CHECK:STDOUT:       2:               inst6000004E
// CHECK:STDOUT:     inst_block6000006A:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst600000DA
// CHECK:STDOUT:       2:               inst6000011E
// CHECK:STDOUT:       3:               inst60000128
// CHECK:STDOUT:       4:               inst60000070
// CHECK:STDOUT:       5:               inst600000DB
// CHECK:STDOUT:       6:               inst6000011F
// CHECK:STDOUT:       7:               inst60000120
// CHECK:STDOUT:       8:               inst60000123
// CHECK:STDOUT:     inst_block6000006B:
// CHECK:STDOUT:       0:               inst60000125
// CHECK:STDOUT:       1:               inst60000126
// CHECK:STDOUT:     inst_block6000006C:
// CHECK:STDOUT:       0:               inst6000012D
// CHECK:STDOUT:       1:               inst6000012B
// CHECK:STDOUT:     inst_block6000006D:
// CHECK:STDOUT:       0:               inst6000012D
// CHECK:STDOUT:     inst_block6000006E:
// CHECK:STDOUT:       0:               inst6000012B
// CHECK:STDOUT:     inst_block6000006F:
// CHECK:STDOUT:       0:               inst60000131
// CHECK:STDOUT:       1:               inst60000132
// CHECK:STDOUT:       2:               inst60000133
// CHECK:STDOUT:     inst_block60000070:
// CHECK:STDOUT:       0:               inst60000135
// CHECK:STDOUT:       1:               inst60000137
// CHECK:STDOUT:       2:               inst60000139
// CHECK:STDOUT:     inst_block60000071:
// CHECK:STDOUT:       0:               inst60000134
// CHECK:STDOUT:       1:               inst60000135
// CHECK:STDOUT:       2:               inst60000136
// CHECK:STDOUT:       3:               inst60000137
// CHECK:STDOUT:       4:               inst60000138
// CHECK:STDOUT:       5:               inst60000139
// CHECK:STDOUT:       6:               inst6000013A
// CHECK:STDOUT:       7:               inst6000013B
// CHECK:STDOUT:       8:               inst6000013C
// CHECK:STDOUT:     inst_block60000072:
// CHECK:STDOUT:       0:               inst6000011E
// CHECK:STDOUT:     inst_block60000073:
// CHECK:STDOUT:       0:               inst6000011E
// CHECK:STDOUT:       1:               inst6000013E
// CHECK:STDOUT:       2:               inst6000013F
// CHECK:STDOUT:     inst_block60000074:
// CHECK:STDOUT:       0:               inst6000011E
// CHECK:STDOUT:       1:               inst6000011F
// CHECK:STDOUT:       2:               inst60000144
// CHECK:STDOUT:       3:               inst60000143
// CHECK:STDOUT:     inst_block60000075:
// CHECK:STDOUT:       0:               inst60000134
// CHECK:STDOUT:     inst_block60000076:
// CHECK:STDOUT:       0:               inst60000134
// CHECK:STDOUT:     inst_block60000077:
// CHECK:STDOUT:       0:               inst60000136
// CHECK:STDOUT:     inst_block60000078:
// CHECK:STDOUT:       0:               inst60000136
// CHECK:STDOUT:     inst_block60000079:
// CHECK:STDOUT:       0:               inst60000138
// CHECK:STDOUT:     inst_block6000007A:
// CHECK:STDOUT:       0:               inst60000138
// CHECK:STDOUT:     inst_block6000007B:
// CHECK:STDOUT:       0:               inst60000147
// CHECK:STDOUT:       1:               inst60000148
// CHECK:STDOUT:       2:               inst60000149
// CHECK:STDOUT:       3:               inst6000014A
// CHECK:STDOUT:       4:               inst6000014B
// CHECK:STDOUT:       5:               inst6000014C
// CHECK:STDOUT:       6:               inst6000014D
// CHECK:STDOUT:       7:               inst6000014E
// CHECK:STDOUT:       8:               inst6000014F
// CHECK:STDOUT:       9:               inst60000150
// CHECK:STDOUT:       10:              inst60000151
// CHECK:STDOUT:       11:              inst60000152
// CHECK:STDOUT:       12:              inst60000153
// CHECK:STDOUT:       13:              inst60000154
// CHECK:STDOUT:       14:              inst60000155
// CHECK:STDOUT:       15:              inst60000156
// CHECK:STDOUT:       16:              inst60000157
// CHECK:STDOUT:       17:              inst60000158
// CHECK:STDOUT:       18:              inst60000159
// CHECK:STDOUT:     inst_block6000007C:
// CHECK:STDOUT:       0:               inst6000006F
// CHECK:STDOUT:       1:               inst60000070
// CHECK:STDOUT:       2:               inst600000DA
// CHECK:STDOUT:       3:               inst600000DB
// CHECK:STDOUT:       4:               inst6000011E
// CHECK:STDOUT:       5:               inst6000011F
// CHECK:STDOUT:       6:               inst60000120
// CHECK:STDOUT:       7:               inst60000129
// CHECK:STDOUT:       8:               inst6000012E
// CHECK:STDOUT:     inst_block6000007D:
// CHECK:STDOUT:       0:               inst6000015C
// CHECK:STDOUT:       1:               inst6000015B
// CHECK:STDOUT:       2:               inst6000015A
// CHECK:STDOUT:     inst_block6000007E:
// CHECK:STDOUT:       0:               inst6000015F
// CHECK:STDOUT:       1:               inst60000160
// CHECK:STDOUT:       2:               inst60000161
// CHECK:STDOUT:     inst_block6000007F:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:       1:               inst60000163
// CHECK:STDOUT:       2:               inst60000164
// CHECK:STDOUT:     inst_block60000080:
// CHECK:STDOUT:       0:               inst60000166
// CHECK:STDOUT:       1:               inst60000167
// CHECK:STDOUT:       2:               inst60000168
// CHECK:STDOUT:     inst_block60000081:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:       1:               inst60000163
// CHECK:STDOUT:       2:               inst60000164
// CHECK:STDOUT:     inst_block60000082:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:       1:               inst60000163
// CHECK:STDOUT:       2:               inst60000164
// CHECK:STDOUT:       3:               inst60000165
// CHECK:STDOUT:       4:               inst60000166
// CHECK:STDOUT:       5:               inst60000167
// CHECK:STDOUT:       6:               inst60000168
// CHECK:STDOUT:       7:               inst60000169
// CHECK:STDOUT:       8:               inst6000016A
// CHECK:STDOUT:     inst_block60000083:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:       1:               inst60000163
// CHECK:STDOUT:       2:               inst60000164
// CHECK:STDOUT:     inst_block60000084:
// CHECK:STDOUT:       0:               inst6000016B
// CHECK:STDOUT:       1:               inst6000016C
// CHECK:STDOUT:     inst_block60000085:
// CHECK:STDOUT:       0:               inst600000BF
// CHECK:STDOUT:       1:               inst600000C0
// CHECK:STDOUT:       2:               inst60000040
// CHECK:STDOUT:     inst_block60000086:
// CHECK:STDOUT:       0:               inst60000017
// CHECK:STDOUT:     inst_block60000087:
// CHECK:STDOUT:       0:               inst60000170
// CHECK:STDOUT:     inst_block60000088:
// CHECK:STDOUT:       0:               inst60000172
// CHECK:STDOUT:     inst_block60000089:
// CHECK:STDOUT:       0:               inst60000172
// CHECK:STDOUT:       1:               inst60000173
// CHECK:STDOUT:       2:               inst60000174
// CHECK:STDOUT:     inst_block6000008A:
// CHECK:STDOUT:       0:               inst60000171
// CHECK:STDOUT:     inst_block6000008B:
// CHECK:STDOUT:       0:               inst60000178
// CHECK:STDOUT:     inst_block6000008C:
// CHECK:STDOUT:       0:               inst60000172
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst6000001F
// CHECK:STDOUT:       3:               inst600000C5
// CHECK:STDOUT:     inst_block6000008D:
// CHECK:STDOUT:       0:               inst60000178
// CHECK:STDOUT:     inst_block6000008E:
// CHECK:STDOUT:       0:               inst60000046
// CHECK:STDOUT:     inst_block6000008F:
// CHECK:STDOUT:       0:               inst60000183
// CHECK:STDOUT:       1:               inst60000186
// CHECK:STDOUT:     inst_block60000090:
// CHECK:STDOUT:       0:               inst60000041
// CHECK:STDOUT:       1:               inst60000045
// CHECK:STDOUT:       2:               inst6000016F
// CHECK:STDOUT:       3:               inst60000171
// CHECK:STDOUT:       4:               inst60000178
// CHECK:STDOUT:       5:               inst60000179
// CHECK:STDOUT:       6:               inst6000017A
// CHECK:STDOUT:       7:               inst6000017B
// CHECK:STDOUT:       8:               inst6000017F
// CHECK:STDOUT:     inst_block60000091:
// CHECK:STDOUT:       0:               instF
// CHECK:STDOUT:       1:               inst60000010
// CHECK:STDOUT:       2:               inst6000003C
// CHECK:STDOUT:   value_stores:
// CHECK:STDOUT:     shared_values:
// CHECK:STDOUT:       ints:            {}
// CHECK:STDOUT:       reals:           {}
// CHECK:STDOUT:       floats:          {}
// CHECK:STDOUT:       identifiers:
// CHECK:STDOUT:         identifier0:     Foo
// CHECK:STDOUT:         identifier1:     T
// CHECK:STDOUT:         identifier2:     p
// CHECK:STDOUT:         identifier3:     Copy
// CHECK:STDOUT:         identifier4:     Op
// CHECK:STDOUT:         identifier5:     U
// CHECK:STDOUT:         identifier6:     V
// CHECK:STDOUT:       strings:
// CHECK:STDOUT:         string0:         prelude
// CHECK:STDOUT: ...