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:   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_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: inst48000012}
// CHECK:STDOUT:     import_ir_inst3: {ir_id: import_ir60000004, inst_id: inst48000031}
// CHECK:STDOUT:     import_ir_inst4: {ir_id: import_ir60000004, inst_id: inst4800002C}
// CHECK:STDOUT:     import_ir_inst5: {ir_id: import_ir60000004, inst_id: inst4800002C}
// CHECK:STDOUT:     import_ir_inst6: {ir_id: import_ir60000004, inst_id: inst4800002C}
// CHECK:STDOUT:     import_ir_inst7: {ir_id: import_ir60000004, inst_id: inst48000026}
// CHECK:STDOUT:     import_ir_inst8: {ir_id: import_ir60000004, inst_id: inst48000027}
// CHECK:STDOUT:     import_ir_inst9: {ir_id: import_ir60000004, inst_id: inst4800001D}
// CHECK:STDOUT:     import_ir_instA: {ir_id: import_ir60000004, inst_id: inst4800001F}
// CHECK:STDOUT:     import_ir_instB: {ir_id: import_ir60000004, inst_id: inst48000022}
// CHECK:STDOUT:     import_ir_instC: {ir_id: import_ir60000004, inst_id: inst48000023}
// CHECK:STDOUT:     import_ir_instD: {ir_id: import_ir60000004, inst_id: inst48000012}
// CHECK:STDOUT:     import_ir_instE: {ir_id: import_ir60000004, inst_id: inst48000016}
// CHECK:STDOUT:     import_ir_instF: {ir_id: import_ir60000004, inst_id: inst48000019}
// CHECK:STDOUT:     import_ir_inst10: {ir_id: import_ir60000004, inst_id: inst4800001E}
// CHECK:STDOUT:     import_ir_inst11: {ir_id: import_ir60000004, inst_id: inst48000025}
// CHECK:STDOUT:     import_ir_inst12: {ir_id: import_ir60000004, inst_id: inst4800006A}
// CHECK:STDOUT:     import_ir_inst13: {ir_id: import_ir60000004, inst_id: inst48000068}
// CHECK:STDOUT:     import_ir_inst14: {ir_id: import_ir60000004, inst_id: inst48000081}
// CHECK:STDOUT:     import_ir_inst15: {ir_id: import_ir60000004, inst_id: inst48000069}
// CHECK:STDOUT:     import_ir_inst16: {ir_id: import_ir60000004, inst_id: inst48000081}
// CHECK:STDOUT:     import_ir_inst17: {ir_id: import_ir60000004, inst_id: inst4800007C}
// CHECK:STDOUT:     import_ir_inst18: {ir_id: import_ir60000004, inst_id: inst4800007D}
// CHECK:STDOUT:     import_ir_inst19: {ir_id: import_ir60000004, inst_id: inst48000075}
// CHECK:STDOUT:     import_ir_inst1A: {ir_id: import_ir60000004, inst_id: inst48000077}
// CHECK:STDOUT:     import_ir_inst1B: {ir_id: import_ir60000004, inst_id: inst48000078}
// CHECK:STDOUT:     import_ir_inst1C: {ir_id: import_ir60000004, inst_id: inst48000079}
// CHECK:STDOUT:     import_ir_inst1D: {ir_id: import_ir60000004, inst_id: inst48000059}
// CHECK:STDOUT:     import_ir_inst1E: {ir_id: import_ir60000004, inst_id: inst48000070}
// CHECK:STDOUT:     import_ir_inst1F: {ir_id: import_ir60000004, inst_id: inst48000071}
// CHECK:STDOUT:     import_ir_inst20: {ir_id: import_ir60000004, inst_id: inst48000072}
// CHECK:STDOUT:     import_ir_inst21: {ir_id: import_ir60000004, inst_id: inst48000076}
// CHECK:STDOUT:     import_ir_inst22: {ir_id: import_ir60000004, inst_id: inst4800007B}
// CHECK:STDOUT:     import_ir_inst23: {ir_id: import_ir60000004, inst_id: inst48000089}
// CHECK:STDOUT:     import_ir_inst24: {ir_id: import_ir60000004, inst_id: inst48000092}
// CHECK:STDOUT:     import_ir_inst25: {ir_id: import_ir60000004, inst_id: inst48000099}
// CHECK:STDOUT:     import_ir_inst26: {ir_id: import_ir60000004, inst_id: inst4800009D}
// CHECK:STDOUT:     import_ir_inst27: {ir_id: import_ir60000004, inst_id: inst4800009E}
// CHECK:STDOUT:     import_ir_inst28: {ir_id: import_ir60000004, inst_id: inst480000A4}
// CHECK:STDOUT:     import_ir_inst29: {ir_id: import_ir60000004, inst_id: inst4800005D}
// CHECK:STDOUT:     import_ir_inst2A: {ir_id: import_ir60000004, inst_id: inst48000063}
// CHECK:STDOUT:     import_ir_inst2B: {ir_id: import_ir60000004, inst_id: inst48000066}
// CHECK:STDOUT:     import_ir_inst2C: {ir_id: import_ir60000004, inst_id: inst48000059}
// CHECK:STDOUT:     import_ir_inst2D: {ir_id: import_ir60000004, inst_id: inst4800005B}
// CHECK:STDOUT:     import_ir_inst2E: {ir_id: import_ir60000004, inst_id: inst48000061}
// CHECK:STDOUT:     import_ir_inst2F: {ir_id: import_ir60000004, inst_id: inst48000065}
// CHECK:STDOUT:     import_ir_inst30: {ir_id: import_ir60000004, inst_id: inst4800006C}
// CHECK:STDOUT:     import_ir_inst31: {ir_id: import_ir60000004, inst_id: inst48000084}
// CHECK:STDOUT:     import_ir_inst32: {ir_id: import_ir60000004, inst_id: inst48000085}
// CHECK:STDOUT:     import_ir_inst33: {ir_id: import_ir60000004, inst_id: inst480000B9}
// CHECK:STDOUT:     import_ir_inst34: {ir_id: import_ir60000004, inst_id: inst480000B7}
// CHECK:STDOUT:     import_ir_inst35: {ir_id: import_ir60000004, inst_id: inst480000B5}
// CHECK:STDOUT:     import_ir_inst36: {ir_id: import_ir60000004, inst_id: inst480000B6}
// CHECK:STDOUT:     import_ir_inst37: {ir_id: import_ir60000004, inst_id: inst480000D3}
// CHECK:STDOUT:     import_ir_inst38: {ir_id: import_ir60000004, inst_id: inst480000D1}
// CHECK:STDOUT:     import_ir_inst39: {ir_id: import_ir60000004, inst_id: inst480000CF}
// CHECK:STDOUT:     import_ir_inst3A: {ir_id: import_ir60000004, inst_id: inst480000D0}
// CHECK:STDOUT:     import_ir_inst3B: {ir_id: import_ir60000004, inst_id: inst480000ED}
// CHECK:STDOUT:     import_ir_inst3C: {ir_id: import_ir60000004, inst_id: inst480000EB}
// CHECK:STDOUT:     import_ir_inst3D: {ir_id: import_ir60000004, inst_id: inst480000E9}
// CHECK:STDOUT:     import_ir_inst3E: {ir_id: import_ir60000004, inst_id: inst480000EA}
// CHECK:STDOUT:     import_ir_inst3F: {ir_id: import_ir60000004, inst_id: inst48000107}
// CHECK:STDOUT:     import_ir_inst40: {ir_id: import_ir60000004, inst_id: inst48000105}
// CHECK:STDOUT:     import_ir_inst41: {ir_id: import_ir60000004, inst_id: inst48000103}
// CHECK:STDOUT:     import_ir_inst42: {ir_id: import_ir60000004, inst_id: inst48000104}
// CHECK:STDOUT:     import_ir_inst43: {ir_id: import_ir60000004, inst_id: inst48000126}
// CHECK:STDOUT:     import_ir_inst44: {ir_id: import_ir60000004, inst_id: inst48000124}
// CHECK:STDOUT:     import_ir_inst45: {ir_id: import_ir60000004, inst_id: inst4800013A}
// CHECK:STDOUT:     import_ir_inst46: {ir_id: import_ir60000004, inst_id: inst48000125}
// CHECK:STDOUT:     import_ir_inst47: {ir_id: import_ir60000004, inst_id: inst4800011E}
// CHECK:STDOUT:     import_ir_inst48: {ir_id: import_ir60000004, inst_id: inst48000120}
// CHECK:STDOUT:     import_ir_inst49: {ir_id: import_ir60000004, inst_id: inst48000123}
// CHECK:STDOUT:     import_ir_inst4A: {ir_id: import_ir60000004, inst_id: inst4800011B}
// CHECK:STDOUT:     import_ir_inst4B: {ir_id: import_ir60000004, inst_id: inst4800011D}
// CHECK:STDOUT:     import_ir_inst4C: {ir_id: import_ir60000004, inst_id: inst48000122}
// CHECK:STDOUT:     import_ir_inst4D: {ir_id: import_ir60000004, inst_id: inst48000128}
// CHECK:STDOUT:     import_ir_inst4E: {ir_id: import_ir60000004, inst_id: inst4800013A}
// CHECK:STDOUT:     import_ir_inst4F: {ir_id: import_ir60000004, inst_id: inst48000135}
// CHECK:STDOUT:     import_ir_inst50: {ir_id: import_ir60000004, inst_id: inst48000136}
// CHECK:STDOUT:     import_ir_inst51: {ir_id: import_ir60000004, inst_id: inst4800012E}
// CHECK:STDOUT:     import_ir_inst52: {ir_id: import_ir60000004, inst_id: inst48000130}
// CHECK:STDOUT:     import_ir_inst53: {ir_id: import_ir60000004, inst_id: inst48000131}
// CHECK:STDOUT:     import_ir_inst54: {ir_id: import_ir60000004, inst_id: inst48000132}
// CHECK:STDOUT:     import_ir_inst55: {ir_id: import_ir60000004, inst_id: inst4800011B}
// CHECK:STDOUT:     import_ir_inst56: {ir_id: import_ir60000004, inst_id: inst4800012A}
// CHECK:STDOUT:     import_ir_inst57: {ir_id: import_ir60000004, inst_id: inst4800012B}
// CHECK:STDOUT:     import_ir_inst58: {ir_id: import_ir60000004, inst_id: inst4800012F}
// CHECK:STDOUT:     import_ir_inst59: {ir_id: import_ir60000004, inst_id: inst48000134}
// CHECK:STDOUT:     import_ir_inst5A: {ir_id: import_ir60000004, inst_id: inst4800013D}
// CHECK:STDOUT:     import_ir_inst5B: {ir_id: import_ir60000004, inst_id: inst4800013E}
// CHECK:STDOUT:     import_ir_inst5C: {ir_id: import_ir60000004, inst_id: inst48000141}
// CHECK:STDOUT:     import_ir_inst5D: {ir_id: import_ir60000004, inst_id: inst48000148}
// CHECK:STDOUT:     import_ir_inst5E: {ir_id: import_ir60000004, inst_id: inst48000146}
// CHECK:STDOUT:     import_ir_inst5F: {ir_id: import_ir60000004, inst_id: inst(TypeType)}
// CHECK:STDOUT:     import_ir_inst60: {ir_id: import_ir60000004, inst_id: inst48000145}
// CHECK:STDOUT:     import_ir_inst61: {ir_id: import_ir60000004, inst_id: inst48000160}
// CHECK:STDOUT:     import_ir_inst62: {ir_id: import_ir60000004, inst_id: inst4800015E}
// CHECK:STDOUT:     import_ir_inst63: {ir_id: import_ir60000004, inst_id: inst4800015C}
// CHECK:STDOUT:     import_ir_inst64: {ir_id: import_ir60000004, inst_id: inst4800015D}
// CHECK:STDOUT:     import_ir_inst65: {ir_id: import_ir60000004, inst_id: inst48000194}
// CHECK:STDOUT:     import_ir_inst66: {ir_id: import_ir60000004, inst_id: inst48000192}
// CHECK:STDOUT:     import_ir_inst67: {ir_id: import_ir60000004, inst_id: inst480001AF}
// CHECK:STDOUT:     import_ir_inst68: {ir_id: import_ir60000004, inst_id: inst48000193}
// CHECK:STDOUT:     import_ir_inst69: {ir_id: import_ir60000004, inst_id: inst480001AF}
// CHECK:STDOUT:     import_ir_inst6A: {ir_id: import_ir60000004, inst_id: inst480001AA}
// CHECK:STDOUT:     import_ir_inst6B: {ir_id: import_ir60000004, inst_id: inst480001AB}
// CHECK:STDOUT:     import_ir_inst6C: {ir_id: import_ir60000004, inst_id: inst480001A3}
// CHECK:STDOUT:     import_ir_inst6D: {ir_id: import_ir60000004, inst_id: inst480001A5}
// CHECK:STDOUT:     import_ir_inst6E: {ir_id: import_ir60000004, inst_id: inst480001A6}
// CHECK:STDOUT:     import_ir_inst6F: {ir_id: import_ir60000004, inst_id: inst480001A7}
// CHECK:STDOUT:     import_ir_inst70: {ir_id: import_ir60000004, inst_id: inst48000175}
// CHECK:STDOUT:     import_ir_inst71: {ir_id: import_ir60000004, inst_id: inst4800017A}
// CHECK:STDOUT:     import_ir_inst72: {ir_id: import_ir60000004, inst_id: inst4800019C}
// CHECK:STDOUT:     import_ir_inst73: {ir_id: import_ir60000004, inst_id: inst4800019D}
// CHECK:STDOUT:     import_ir_inst74: {ir_id: import_ir60000004, inst_id: inst4800019E}
// CHECK:STDOUT:     import_ir_inst75: {ir_id: import_ir60000004, inst_id: inst4800019F}
// CHECK:STDOUT:     import_ir_inst76: {ir_id: import_ir60000004, inst_id: inst480001A0}
// CHECK:STDOUT:     import_ir_inst77: {ir_id: import_ir60000004, inst_id: inst480001A4}
// CHECK:STDOUT:     import_ir_inst78: {ir_id: import_ir60000004, inst_id: inst480001A9}
// CHECK:STDOUT:     import_ir_inst79: {ir_id: import_ir60000004, inst_id: inst480001B8}
// CHECK:STDOUT:     import_ir_inst7A: {ir_id: import_ir60000004, inst_id: inst480001C1}
// CHECK:STDOUT:     import_ir_inst7B: {ir_id: import_ir60000004, inst_id: inst480001C5}
// CHECK:STDOUT:     import_ir_inst7C: {ir_id: import_ir60000004, inst_id: inst480001C7}
// CHECK:STDOUT:     import_ir_inst7D: {ir_id: import_ir60000004, inst_id: inst480001C8}
// CHECK:STDOUT:     import_ir_inst7E: {ir_id: import_ir60000004, inst_id: inst480001CB}
// CHECK:STDOUT:     import_ir_inst7F: {ir_id: import_ir60000004, inst_id: inst480001D7}
// CHECK:STDOUT:     import_ir_inst80: {ir_id: import_ir60000004, inst_id: inst480001DC}
// CHECK:STDOUT:     import_ir_inst81: {ir_id: import_ir60000004, inst_id: inst480001E0}
// CHECK:STDOUT:     import_ir_inst82: {ir_id: import_ir60000004, inst_id: inst480001E1}
// CHECK:STDOUT:     import_ir_inst83: {ir_id: import_ir60000004, inst_id: inst480001E7}
// CHECK:STDOUT:     import_ir_inst84: {ir_id: import_ir60000004, inst_id: inst4800017D}
// CHECK:STDOUT:     import_ir_inst85: {ir_id: import_ir60000004, inst_id: inst48000177}
// CHECK:STDOUT:     import_ir_inst86: {ir_id: import_ir60000004, inst_id: inst4800018D}
// CHECK:STDOUT:     import_ir_inst87: {ir_id: import_ir60000004, inst_id: inst4800018F}
// CHECK:STDOUT:     import_ir_inst88: {ir_id: import_ir60000004, inst_id: inst48000175}
// CHECK:STDOUT:     import_ir_inst89: {ir_id: import_ir60000004, inst_id: inst4800017A}
// CHECK:STDOUT:     import_ir_inst8A: {ir_id: import_ir60000004, inst_id: inst48000176}
// CHECK:STDOUT:     import_ir_inst8B: {ir_id: import_ir60000004, inst_id: inst4800017C}
// CHECK:STDOUT:     import_ir_inst8C: {ir_id: import_ir60000004, inst_id: inst48000183}
// CHECK:STDOUT:     import_ir_inst8D: {ir_id: import_ir60000004, inst_id: inst48000186}
// CHECK:STDOUT:     import_ir_inst8E: {ir_id: import_ir60000004, inst_id: inst4800018A}
// CHECK:STDOUT:     import_ir_inst8F: {ir_id: import_ir60000004, inst_id: inst4800018E}
// CHECK:STDOUT:     import_ir_inst90: {ir_id: import_ir60000004, inst_id: inst48000196}
// CHECK:STDOUT:     import_ir_inst91: {ir_id: import_ir60000004, inst_id: inst480001B2}
// CHECK:STDOUT:     import_ir_inst92: {ir_id: import_ir60000004, inst_id: inst480001B3}
// CHECK:STDOUT:     import_ir_inst93: {ir_id: import_ir60000004, inst_id: inst48000222}
// CHECK:STDOUT:     import_ir_inst94: {ir_id: import_ir60000004, inst_id: inst48000220}
// CHECK:STDOUT:     import_ir_inst95: {ir_id: import_ir60000004, inst_id: inst48000241}
// CHECK:STDOUT:     import_ir_inst96: {ir_id: import_ir60000004, inst_id: inst48000221}
// CHECK:STDOUT:     import_ir_inst97: {ir_id: import_ir60000004, inst_id: inst48000241}
// CHECK:STDOUT:     import_ir_inst98: {ir_id: import_ir60000004, inst_id: inst4800023C}
// CHECK:STDOUT:     import_ir_inst99: {ir_id: import_ir60000004, inst_id: inst4800023D}
// CHECK:STDOUT:     import_ir_inst9A: {ir_id: import_ir60000004, inst_id: inst48000235}
// CHECK:STDOUT:     import_ir_inst9B: {ir_id: import_ir60000004, inst_id: inst48000237}
// CHECK:STDOUT:     import_ir_inst9C: {ir_id: import_ir60000004, inst_id: inst48000238}
// CHECK:STDOUT:     import_ir_inst9D: {ir_id: import_ir60000004, inst_id: inst48000239}
// CHECK:STDOUT:     import_ir_inst9E: {ir_id: import_ir60000004, inst_id: inst480001F9}
// CHECK:STDOUT:     import_ir_inst9F: {ir_id: import_ir60000004, inst_id: inst480001FE}
// CHECK:STDOUT:     import_ir_instA0: {ir_id: import_ir60000004, inst_id: inst48000203}
// CHECK:STDOUT:     import_ir_instA1: {ir_id: import_ir60000004, inst_id: inst4800022C}
// CHECK:STDOUT:     import_ir_instA2: {ir_id: import_ir60000004, inst_id: inst4800022D}
// CHECK:STDOUT:     import_ir_instA3: {ir_id: import_ir60000004, inst_id: inst4800022E}
// CHECK:STDOUT:     import_ir_instA4: {ir_id: import_ir60000004, inst_id: inst4800022F}
// CHECK:STDOUT:     import_ir_instA5: {ir_id: import_ir60000004, inst_id: inst48000230}
// CHECK:STDOUT:     import_ir_instA6: {ir_id: import_ir60000004, inst_id: inst48000231}
// CHECK:STDOUT:     import_ir_instA7: {ir_id: import_ir60000004, inst_id: inst48000232}
// CHECK:STDOUT:     import_ir_instA8: {ir_id: import_ir60000004, inst_id: inst48000236}
// CHECK:STDOUT:     import_ir_instA9: {ir_id: import_ir60000004, inst_id: inst4800023B}
// CHECK:STDOUT:     import_ir_instAA: {ir_id: import_ir60000004, inst_id: inst4800024A}
// CHECK:STDOUT:     import_ir_instAB: {ir_id: import_ir60000004, inst_id: inst48000252}
// CHECK:STDOUT:     import_ir_instAC: {ir_id: import_ir60000004, inst_id: inst48000256}
// CHECK:STDOUT:     import_ir_instAD: {ir_id: import_ir60000004, inst_id: inst48000258}
// CHECK:STDOUT:     import_ir_instAE: {ir_id: import_ir60000004, inst_id: inst48000259}
// CHECK:STDOUT:     import_ir_instAF: {ir_id: import_ir60000004, inst_id: inst4800025C}
// CHECK:STDOUT:     import_ir_instB0: {ir_id: import_ir60000004, inst_id: inst48000266}
// CHECK:STDOUT:     import_ir_instB1: {ir_id: import_ir60000004, inst_id: inst4800026A}
// CHECK:STDOUT:     import_ir_instB2: {ir_id: import_ir60000004, inst_id: inst4800026C}
// CHECK:STDOUT:     import_ir_instB3: {ir_id: import_ir60000004, inst_id: inst4800026D}
// CHECK:STDOUT:     import_ir_instB4: {ir_id: import_ir60000004, inst_id: inst48000270}
// CHECK:STDOUT:     import_ir_instB5: {ir_id: import_ir60000004, inst_id: inst4800027C}
// CHECK:STDOUT:     import_ir_instB6: {ir_id: import_ir60000004, inst_id: inst48000281}
// CHECK:STDOUT:     import_ir_instB7: {ir_id: import_ir60000004, inst_id: inst48000285}
// CHECK:STDOUT:     import_ir_instB8: {ir_id: import_ir60000004, inst_id: inst48000286}
// CHECK:STDOUT:     import_ir_instB9: {ir_id: import_ir60000004, inst_id: inst4800028C}
// CHECK:STDOUT:     import_ir_instBA: {ir_id: import_ir60000004, inst_id: inst48000206}
// CHECK:STDOUT:     import_ir_instBB: {ir_id: import_ir60000004, inst_id: inst48000200}
// CHECK:STDOUT:     import_ir_instBC: {ir_id: import_ir60000004, inst_id: inst480001FB}
// CHECK:STDOUT:     import_ir_instBD: {ir_id: import_ir60000004, inst_id: inst4800021A}
// CHECK:STDOUT:     import_ir_instBE: {ir_id: import_ir60000004, inst_id: inst4800021C}
// CHECK:STDOUT:     import_ir_instBF: {ir_id: import_ir60000004, inst_id: inst480001F9}
// CHECK:STDOUT:     import_ir_instC0: {ir_id: import_ir60000004, inst_id: inst480001FE}
// CHECK:STDOUT:     import_ir_instC1: {ir_id: import_ir60000004, inst_id: inst48000203}
// CHECK:STDOUT:     import_ir_instC2: {ir_id: import_ir60000004, inst_id: inst480001FA}
// CHECK:STDOUT:     import_ir_instC3: {ir_id: import_ir60000004, inst_id: inst480001FF}
// CHECK:STDOUT:     import_ir_instC4: {ir_id: import_ir60000004, inst_id: inst48000205}
// CHECK:STDOUT:     import_ir_instC5: {ir_id: import_ir60000004, inst_id: inst4800020D}
// CHECK:STDOUT:     import_ir_instC6: {ir_id: import_ir60000004, inst_id: inst48000210}
// CHECK:STDOUT:     import_ir_instC7: {ir_id: import_ir60000004, inst_id: inst48000213}
// CHECK:STDOUT:     import_ir_instC8: {ir_id: import_ir60000004, inst_id: inst48000217}
// CHECK:STDOUT:     import_ir_instC9: {ir_id: import_ir60000004, inst_id: inst4800021B}
// CHECK:STDOUT:     import_ir_instCA: {ir_id: import_ir60000004, inst_id: inst48000224}
// CHECK:STDOUT:     import_ir_instCB: {ir_id: import_ir60000004, inst_id: inst48000244}
// CHECK:STDOUT:     import_ir_instCC: {ir_id: import_ir60000004, inst_id: inst48000245}
// 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: inst6000004D}}
// CHECK:STDOUT:     name_scope60000002: {inst: inst6000004E, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {name(SelfType): inst60000051, name4: inst60000052}}
// CHECK:STDOUT:     name_scope60000003: {inst: inst6000006A, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000004: {inst: inst6000009C, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000005: {inst: inst600000A0, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000006: {inst: inst600000A4, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000007: {inst: inst600000A8, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000008: {inst: inst600000AC, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope60000009: {inst: inst600000CA, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000A: {inst: inst600000CE, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000B: {inst: inst600000D2, parent_scope: name_scope60000001, has_error: false, extended_scopes: [], names: {}}
// CHECK:STDOUT:     name_scope6000000C: {inst: inst60000112, 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}
// CHECK:STDOUT:     entity_name60000001: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000002: {name: name2, parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name60000003: {name: name3, parent_scope: name_scope60000001, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name60000004: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000005: {name: name4, parent_scope: name_scope60000002, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name60000006: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000007: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000008: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name60000009: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000000A: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000000B: {name: name(SelfType), parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000000C: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000000D: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000000E: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name6000000F: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000010: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000011: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000012: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000013: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000014: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000015: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000016: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000017: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000018: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000019: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name6000001A: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000001B: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name6000001C: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name6000001D: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name6000001E: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name6000001F: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000020: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000021: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000022: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000023: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000024: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000025: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000026: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000027: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000028: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000029: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000002A: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000002B: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000002C: {name: name(SelfValue), parent_scope: name_scope<none>, index: -1, is_template: 0}
// CHECK:STDOUT:     entity_name6000002D: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000002E: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000002F: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000030: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000031: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000032: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000033: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name60000034: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000035: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000036: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name60000037: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name60000038: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name60000039: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000003A: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name6000003B: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:     entity_name6000003C: {name: name6, parent_scope: name_scope<none>, index: 2, is_template: 0}
// CHECK:STDOUT:     entity_name6000003D: {name: name5, parent_scope: name_scope<none>, index: 1, is_template: 0}
// CHECK:STDOUT:     entity_name6000003E: {name: name1, parent_scope: name_scope<none>, index: 0, is_template: 0}
// CHECK:STDOUT:   cpp_global_vars: {}
// CHECK:STDOUT:   functions:
// CHECK:STDOUT:     function60000000: {name: name0, parent_scope: name_scope0, call_params_id: inst_block60000010, return_type_inst_id: inst6000002F, return_form_inst_id: inst60000031, return_patterns_id: inst_block6000000F, body: [inst_block60000017]}
// CHECK:STDOUT:     function60000001: {name: name4, parent_scope: name_scope60000002, return_type_inst_id: inst60000061, return_form_inst_id: inst60000062, return_patterns_id: inst_block6000001B}
// CHECK:STDOUT:     function60000002: {name: name4, parent_scope: name_scope60000003, return_type_inst_id: inst6000007A, return_form_inst_id: inst6000007B, return_patterns_id: inst_block60000025}
// CHECK:STDOUT:     function60000003: {name: name4, parent_scope: name_scope60000008, return_type_inst_id: inst600000BF, return_form_inst_id: inst600000C0, return_patterns_id: inst_block60000039}
// CHECK:STDOUT:     function60000004: {name: name4, parent_scope: name_scope6000000B, return_type_inst_id: inst600000E4, return_form_inst_id: inst600000E5, return_patterns_id: inst_block60000046}
// CHECK:STDOUT:     function60000005: {name: name4, parent_scope: name_scope6000000C, return_type_inst_id: inst60000124, return_form_inst_id: inst60000125, return_patterns_id: inst_block6000005F}
// CHECK:STDOUT:   classes:         {}
// CHECK:STDOUT:   generics:
// CHECK:STDOUT:     generic60000000: {decl: inst6000003C, bindings: inst_block60000013}
// CHECK:STDOUT:     generic60000001: {decl: inst60000057, bindings: inst_block6000001C}
// CHECK:STDOUT:     generic60000002: {decl: inst6000006A, bindings: inst_block6000002D}
// CHECK:STDOUT:     generic60000003: {decl: inst60000071, bindings: inst_block60000026}
// CHECK:STDOUT:     generic60000004: {decl: inst600000AC, bindings: inst_block60000035}
// CHECK:STDOUT:     generic60000005: {decl: inst600000B7, bindings: inst_block6000003A}
// CHECK:STDOUT:     generic60000006: {decl: inst600000D2, bindings: inst_block60000051}
// CHECK:STDOUT:     generic60000007: {decl: inst600000D9, bindings: inst_block60000047}
// CHECK:STDOUT:     generic60000008: {decl: inst60000112, bindings: inst_block6000006B}
// CHECK:STDOUT:     generic60000009: {decl: inst60000119, bindings: inst_block60000060}
// CHECK:STDOUT:   specifics:
// CHECK:STDOUT:     specific60000000: {generic: generic60000000, args: inst_block60000014}
// CHECK:STDOUT:     specific60000001: {generic: generic60000001, args: inst_block6000001E}
// CHECK:STDOUT:     specific60000002: {generic: generic60000002, args: inst_block60000021}
// CHECK:STDOUT:     specific60000003: {generic: generic60000001, args: inst_block60000021}
// CHECK:STDOUT:     specific60000004: {generic: generic60000003, args: inst_block60000021}
// CHECK:STDOUT:     specific60000005: {generic: generic60000001, args: inst_block60000029}
// CHECK:STDOUT:     specific60000006: {generic: generic60000002, args: inst_block6000002E}
// CHECK:STDOUT:     specific60000007: {generic: generic60000004, args: inst_block60000014}
// CHECK:STDOUT:     specific60000008: {generic: generic60000004, args: inst_block60000036}
// CHECK:STDOUT:     specific60000009: {generic: generic60000005, args: inst_block60000014}
// CHECK:STDOUT:     specific6000000A: {generic: generic60000006, args: inst_block60000041}
// CHECK:STDOUT:     specific6000000B: {generic: generic60000001, args: inst_block6000004A}
// CHECK:STDOUT:     specific6000000C: {generic: generic60000007, args: inst_block60000041}
// CHECK:STDOUT:     specific6000000D: {generic: generic60000001, args: inst_block6000004C}
// CHECK:STDOUT:     specific6000000E: {generic: generic60000001, args: inst_block6000004D}
// CHECK:STDOUT:     specific6000000F: {generic: generic60000006, args: inst_block60000052}
// CHECK:STDOUT:     specific60000010: {generic: generic60000008, args: inst_block6000005A}
// CHECK:STDOUT:     specific60000011: {generic: generic60000001, args: inst_block60000063}
// CHECK:STDOUT:     specific60000012: {generic: generic60000009, args: inst_block6000005A}
// CHECK:STDOUT:     specific60000013: {generic: generic60000001, args: inst_block60000065}
// CHECK:STDOUT:     specific60000014: {generic: generic60000001, args: inst_block60000066}
// CHECK:STDOUT:     specific60000015: {generic: generic60000001, args: inst_block60000067}
// CHECK:STDOUT:     specific60000016: {generic: generic60000008, args: inst_block6000006C}
// CHECK:STDOUT:     specific60000017: {generic: generic60000004, args: inst_block60000073}
// CHECK:STDOUT:     specific60000018: {generic: generic60000001, args: inst_block60000076}
// CHECK:STDOUT:     specific60000019: {generic: generic60000001, args: inst_block60000078}
// 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_constant3)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constant3)}
// CHECK:STDOUT:     'type(symbolic_constantF)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constantF)}
// CHECK:STDOUT:     'type(symbolic_constant9)':
// CHECK:STDOUT:       value_repr:      {kind: pointer, type: type(symbolic_constantF)}
// CHECK:STDOUT:     'type(inst(WitnessType))':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst(WitnessType))}
// CHECK:STDOUT:     'type(symbolic_constant4)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(symbolic_constant4)}
// CHECK:STDOUT:     'type(symbolic_constantA)':
// CHECK:STDOUT:       value_repr:      {kind: pointer, type: type(symbolic_constantF)}
// CHECK:STDOUT:     'type(inst(InstType))':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(inst6000004F)':
// CHECK:STDOUT:       value_repr:      {kind: copy, type: type(inst6000004F)}
// 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_constant60000129)':
// CHECK:STDOUT:       value_repr:      {kind: none, type: type(inst60000025)}
// CHECK:STDOUT:     'type(symbolic_constant6000012C)':
// 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:   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_constant4)}
// CHECK:STDOUT:     inst6000001F:    {kind: PatternType, arg0: inst6000001C, type: type(TypeType)}
// CHECK:STDOUT:     inst60000020:    {kind: ValueBindingPattern, arg0: entity_name60000002, type: type(symbolic_constant6)}
// CHECK:STDOUT:     inst60000021:    {kind: PatternType, arg0: inst6000001D, type: type(TypeType)}
// CHECK:STDOUT:     inst60000022:    {kind: ValueParamPattern, arg0: inst60000020, arg1: call_param0, type: type(symbolic_constant6)}
// 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_constantE)}
// CHECK:STDOUT:     inst60000036:    {kind: PatternType, arg0: inst60000030, type: type(TypeType)}
// CHECK:STDOUT:     inst60000037:    {kind: OutParamPattern, arg0: inst60000035, arg1: call_param1, type: type(symbolic_constantE)}
// CHECK:STDOUT:     inst60000038:    {kind: ValueParam, arg0: call_param0, arg1: name2, type: type(symbolic_constant4)}
// 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_constantA)}
// CHECK:STDOUT:     inst6000003B:    {kind: ReturnSlot, arg0: inst6000002E, arg1: inst6000003A, type: type(symbolic_constantA)}
// CHECK:STDOUT:     inst6000003C:    {kind: FunctionDecl, arg0: function60000000, arg1: inst_block60000012, 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: PointerType, arg0: inst6000002E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000040:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000041:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000042:    {kind: RequireCompleteType, arg0: inst60000030, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000043:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000044:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000045:    {kind: RequireCompleteType, arg0: inst6000001D, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000046:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000047:    {kind: NameRef, arg0: name2, arg1: inst6000001E, type: type(symbolic_constant4)}
// CHECK:STDOUT:     inst60000048:    {kind: TupleLiteral, arg0: inst_block_empty, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000049:    {kind: TupleLiteral, arg0: inst_block60000018, type: type(symbolic_constantA)}
// CHECK:STDOUT:     inst6000004A:    {kind: RequireCompleteType, arg0: inst6000002E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000004B:    {kind: TupleAccess, arg0: inst6000003A, arg1: element0, type: type(symbolic_constant4)}
// CHECK:STDOUT:     inst6000004C:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000004D:    {kind: ImportRefLoaded, arg0: import_ir_inst0, arg1: entity_name60000003, type: type(TypeType)}
// CHECK:STDOUT:     inst6000004E:    {kind: InterfaceDecl, arg0: interface60000000, arg1: inst_block_empty, type: type(TypeType)}
// CHECK:STDOUT:     inst6000004F:    {kind: FacetType, arg0: facet_type60000001, type: type(TypeType)}
// CHECK:STDOUT:     inst60000050:    {kind: SymbolicBinding, arg0: entity_name60000004, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000051:    {kind: ImportRefUnloaded, arg0: import_ir_inst2, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000052:    {kind: ImportRefLoaded, arg0: import_ir_inst3, arg1: entity_name<none>, type: type(inst60000054)}
// CHECK:STDOUT:     inst60000053:    {kind: ImportRefUnloaded, arg0: import_ir_inst4, arg1: entity_name60000005}
// CHECK:STDOUT:     inst60000054:    {kind: AssociatedEntityType, arg0: interface60000000, arg1: specific<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000055:    {kind: ImportRefLoaded, arg0: import_ir_inst5, arg1: entity_name<none>, type: type(inst60000058)}
// CHECK:STDOUT:     inst60000056:    {kind: AssociatedEntity, arg0: element0, arg1: inst60000055, type: type(inst60000054)}
// CHECK:STDOUT:     inst60000057:    {kind: FunctionDecl, arg0: function60000001, arg1: inst_block_empty, type: type(inst60000058)}
// CHECK:STDOUT:     inst60000058:    {kind: FunctionType, arg0: function60000001, arg1: specific<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000059:    {kind: StructValue, arg0: inst_block_empty, type: type(inst60000058)}
// CHECK:STDOUT:     inst6000005A:    {kind: SymbolicBindingType, arg0: entity_name60000004, arg1: inst60000050, type: type(TypeType)}
// CHECK:STDOUT:     inst6000005B:    {kind: PatternType, arg0: inst6000005A, type: type(TypeType)}
// CHECK:STDOUT:     inst6000005C:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant60000017)}
// CHECK:STDOUT:     inst6000005D:    {kind: OutParamPattern, arg0: inst6000005C, arg1: call_param1, type: type(symbolic_constant60000017)}
// CHECK:STDOUT:     inst6000005E:    {kind: ValueBindingPattern, arg0: entity_name60000008, type: type(symbolic_constant60000017)}
// CHECK:STDOUT:     inst6000005F:    {kind: ValueParamPattern, arg0: inst6000005E, arg1: call_param0, type: type(symbolic_constant60000017)}
// CHECK:STDOUT:     inst60000060:    {kind: InitForm, arg0: inst6000005A, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000061:    {kind: ImportRefLoaded, arg0: import_ir_instB, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000062:    {kind: ImportRefLoaded, arg0: import_ir_instC, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000063:    {kind: ImportRefLoaded, arg0: import_ir_instD, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000064:    {kind: SymbolicBinding, arg0: entity_name60000004, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000065:    {kind: SymbolicBindingType, arg0: entity_name60000004, arg1: inst60000064, type: type(TypeType)}
// CHECK:STDOUT:     inst60000066:    {kind: PatternType, arg0: inst60000065, type: type(TypeType)}
// CHECK:STDOUT:     inst60000067:    {kind: InitForm, arg0: inst60000065, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000068:    {kind: LookupImplWitness, arg0: inst6000001C, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000069:    {kind: ImportRefUnloaded, arg0: import_ir_inst12, arg1: entity_name<none>}
// CHECK:STDOUT:     inst6000006A:    {kind: ImplDecl, arg0: impl60000000, arg1: inst_block_empty}
// CHECK:STDOUT:     inst6000006B:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000006C:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst6000006B, type: type(TypeType)}
// CHECK:STDOUT:     inst6000006D:    {kind: ConstType, arg0: inst6000006C, type: type(TypeType)}
// CHECK:STDOUT:     inst6000006E:    {kind: ImportRefUnloaded, arg0: import_ir_inst14, arg1: entity_name<none>}
// CHECK:STDOUT:     inst6000006F:    {kind: ImplWitnessTable, arg0: inst_block60000020, arg1: impl60000000}
// CHECK:STDOUT:     inst60000070:    {kind: ImplWitness, arg0: inst6000006F, arg1: specific60000002, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000071:    {kind: FunctionDecl, arg0: function60000002, arg1: inst_block_empty, type: type(symbolic_constant60000028)}
// CHECK:STDOUT:     inst60000072:    {kind: FunctionType, arg0: function60000002, arg1: specific60000002, type: type(TypeType)}
// CHECK:STDOUT:     inst60000073:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000028)}
// CHECK:STDOUT:     inst60000074:    {kind: PatternType, arg0: inst6000006D, type: type(TypeType)}
// CHECK:STDOUT:     inst60000075:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant6000002D)}
// CHECK:STDOUT:     inst60000076:    {kind: OutParamPattern, arg0: inst60000075, arg1: call_param1, type: type(symbolic_constant6000002D)}
// CHECK:STDOUT:     inst60000077:    {kind: ValueBindingPattern, arg0: entity_name6000000E, type: type(symbolic_constant6000002D)}
// CHECK:STDOUT:     inst60000078:    {kind: ValueParamPattern, arg0: inst60000077, arg1: call_param0, type: type(symbolic_constant6000002D)}
// CHECK:STDOUT:     inst60000079:    {kind: InitForm, arg0: inst6000006D, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000007A:    {kind: ImportRefLoaded, arg0: import_ir_inst1B, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000007B:    {kind: ImportRefLoaded, arg0: import_ir_inst1C, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst6000007C:    {kind: ImportRefLoaded, arg0: import_ir_inst1D, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000007D:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000007E:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst6000007D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000007F:    {kind: ConstType, arg0: inst6000007E, type: type(TypeType)}
// CHECK:STDOUT:     inst60000080:    {kind: PatternType, arg0: inst6000007F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000081:    {kind: InitForm, arg0: inst6000007F, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000082:    {kind: LookupImplWitness, arg0: inst6000006B, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000083:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst6000006B, type: type(TypeType)}
// CHECK:STDOUT:     inst60000084:    {kind: ImplWitnessAccess, arg0: inst60000082, arg1: element0, type: type(symbolic_constant6000003C)}
// CHECK:STDOUT:     inst60000085:    {kind: SpecificImplFunction, arg0: inst60000084, arg1: specific60000003, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000086:    {kind: InitForm, arg0: inst6000006C, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000087:    {kind: PatternType, arg0: inst6000006C, type: type(TypeType)}
// CHECK:STDOUT:     inst60000088:    {kind: RequireCompleteType, arg0: inst6000006C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000089:    {kind: RequireCompleteType, arg0: inst6000006D, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000008A:    {kind: RequireCompleteType, arg0: inst6000007F, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000008B:    {kind: RequireCompleteType, arg0: inst6000007E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000008C:    {kind: LookupImplWitness, arg0: inst6000007D, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000008D:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst6000007D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000008E:    {kind: ImplWitnessAccess, arg0: inst6000008C, arg1: element0, type: type(symbolic_constant6000004C)}
// CHECK:STDOUT:     inst6000008F:    {kind: SpecificImplFunction, arg0: inst6000008E, arg1: specific60000005, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000090:    {kind: PatternType, arg0: inst6000004F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000091:    {kind: SymbolicBindingPattern, arg0: entity_name60000014, type: type(inst60000090)}
// CHECK:STDOUT:     inst60000092:    {kind: ImportRefLoaded, arg0: import_ir_inst2A, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000093:    {kind: ImportRefLoaded, arg0: import_ir_inst2B, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000094:    {kind: ImportRefLoaded, arg0: import_ir_inst2C, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000095:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000096:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000095, type: type(TypeType)}
// CHECK:STDOUT:     inst60000097:    {kind: ConstType, arg0: inst60000096, type: type(TypeType)}
// CHECK:STDOUT:     inst60000098:    {kind: ImplWitness, arg0: inst6000006F, arg1: specific60000006, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000099:    {kind: FunctionType, arg0: function60000002, arg1: specific60000006, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009A:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000057)}
// CHECK:STDOUT:     inst6000009B:    {kind: ImportRefUnloaded, arg0: import_ir_inst33, arg1: entity_name<none>}
// CHECK:STDOUT:     inst6000009C:    {kind: ImplDecl, arg0: impl60000001, arg1: inst_block_empty}
// CHECK:STDOUT:     inst6000009D:    {kind: ImportRefLoaded, arg0: import_ir_inst35, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009E:    {kind: ImportRefLoaded, arg0: import_ir_inst36, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000009F:    {kind: ImportRefUnloaded, arg0: import_ir_inst37, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000A0:    {kind: ImplDecl, arg0: impl60000002, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000A1:    {kind: ImportRefLoaded, arg0: import_ir_inst39, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A2:    {kind: ImportRefLoaded, arg0: import_ir_inst3A, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A3:    {kind: ImportRefUnloaded, arg0: import_ir_inst3B, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000A4:    {kind: ImplDecl, arg0: impl60000003, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000A5:    {kind: ImportRefLoaded, arg0: import_ir_inst3D, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A6:    {kind: ImportRefLoaded, arg0: import_ir_inst3E, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000A7:    {kind: ImportRefUnloaded, arg0: import_ir_inst3F, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000A8:    {kind: ImplDecl, arg0: impl60000004, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000A9:    {kind: ImportRefLoaded, arg0: import_ir_inst41, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000AA:    {kind: ImportRefLoaded, arg0: import_ir_inst42, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000AB:    {kind: ImportRefLoaded, arg0: import_ir_inst43, arg1: entity_name<none>, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000AC:    {kind: ImplDecl, arg0: impl60000005, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000AD:    {kind: ImportRefUnloaded, arg0: import_ir_inst45, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000AE:    {kind: ImplWitnessTable, arg0: inst_block60000032, arg1: impl60000005}
// CHECK:STDOUT:     inst600000AF:    {kind: ImplWitness, arg0: inst600000AE, arg1: specific60000007, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000B0:    {kind: SymbolicBindingPattern, arg0: entity_name60000018, type: type(inst60000018)}
// 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(TypeType)}
// CHECK:STDOUT:     inst600000B3:    {kind: ImportRefLoaded, arg0: import_ir_inst4A, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B4:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B5:    {kind: PointerType, arg0: inst600000B4, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B6:    {kind: ImplWitness, arg0: inst600000AE, arg1: specific60000008, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000B7:    {kind: FunctionDecl, arg0: function60000003, arg1: inst_block_empty, type: type(symbolic_constant60000063)}
// CHECK:STDOUT:     inst600000B8:    {kind: FunctionType, arg0: function60000003, arg1: specific60000007, type: type(TypeType)}
// CHECK:STDOUT:     inst600000B9:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000063)}
// CHECK:STDOUT:     inst600000BA:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant60000067)}
// CHECK:STDOUT:     inst600000BB:    {kind: OutParamPattern, arg0: inst600000BA, arg1: call_param1, type: type(symbolic_constant60000067)}
// CHECK:STDOUT:     inst600000BC:    {kind: ValueBindingPattern, arg0: entity_name60000019, type: type(symbolic_constant60000067)}
// CHECK:STDOUT:     inst600000BD:    {kind: ValueParamPattern, arg0: inst600000BC, arg1: call_param0, type: type(symbolic_constant60000067)}
// CHECK:STDOUT:     inst600000BE:    {kind: InitForm, arg0: inst6000001C, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000BF:    {kind: ImportRefLoaded, arg0: import_ir_inst53, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C0:    {kind: ImportRefLoaded, arg0: import_ir_inst54, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000C1:    {kind: ImportRefLoaded, arg0: import_ir_inst55, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C2:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C3:    {kind: PointerType, arg0: inst600000C2, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C4:    {kind: PatternType, arg0: inst600000C3, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C5:    {kind: InitForm, arg0: inst600000C3, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000C6:    {kind: FunctionType, arg0: function60000003, arg1: specific60000008, type: type(TypeType)}
// CHECK:STDOUT:     inst600000C7:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000073)}
// CHECK:STDOUT:     inst600000C8:    {kind: RequireCompleteType, arg0: inst600000B5, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000C9:    {kind: ImportRefUnloaded, arg0: import_ir_inst5D, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000CA:    {kind: ImplDecl, arg0: impl60000006, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000CB:    {kind: ImportRefLoaded, arg0: import_ir_inst5F, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CC:    {kind: ImportRefLoaded, arg0: import_ir_inst60, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000CD:    {kind: ImportRefUnloaded, arg0: import_ir_inst61, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000CE:    {kind: ImplDecl, arg0: impl60000007, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000CF:    {kind: ImportRefLoaded, arg0: import_ir_inst63, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D0:    {kind: ImportRefLoaded, arg0: import_ir_inst64, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D1:    {kind: ImportRefUnloaded, arg0: import_ir_inst65, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000D2:    {kind: ImplDecl, arg0: impl60000008, arg1: inst_block_empty}
// CHECK:STDOUT:     inst600000D3:    {kind: SymbolicBinding, arg0: entity_name6000001B, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst600000D4:    {kind: SymbolicBindingType, arg0: entity_name6000001B, arg1: inst600000D3, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D5:    {kind: TupleType, arg0: inst_block6000003F, type: type(TypeType)}
// CHECK:STDOUT:     inst600000D6:    {kind: ImportRefUnloaded, arg0: import_ir_inst67, arg1: entity_name<none>}
// CHECK:STDOUT:     inst600000D7:    {kind: ImplWitnessTable, arg0: inst_block60000040, arg1: impl60000008}
// CHECK:STDOUT:     inst600000D8:    {kind: ImplWitness, arg0: inst600000D7, arg1: specific6000000A, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000D9:    {kind: FunctionDecl, arg0: function60000004, arg1: inst_block_empty, type: type(symbolic_constant6000007C)}
// CHECK:STDOUT:     inst600000DA:    {kind: FunctionType, arg0: function60000004, arg1: specific6000000A, type: type(TypeType)}
// CHECK:STDOUT:     inst600000DB:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant6000007C)}
// CHECK:STDOUT:     inst600000DC:    {kind: TupleType, arg0: inst_block60000042, type: type(TypeType)}
// CHECK:STDOUT:     inst600000DD:    {kind: TupleValue, arg0: inst_block60000041, type: type(inst600000DC)}
// CHECK:STDOUT:     inst600000DE:    {kind: PatternType, arg0: inst600000D5, type: type(TypeType)}
// CHECK:STDOUT:     inst600000DF:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant60000082)}
// CHECK:STDOUT:     inst600000E0:    {kind: OutParamPattern, arg0: inst600000DF, arg1: call_param1, type: type(symbolic_constant60000082)}
// CHECK:STDOUT:     inst600000E1:    {kind: ValueBindingPattern, arg0: entity_name6000001D, type: type(symbolic_constant60000082)}
// CHECK:STDOUT:     inst600000E2:    {kind: ValueParamPattern, arg0: inst600000E1, arg1: call_param0, type: type(symbolic_constant60000082)}
// CHECK:STDOUT:     inst600000E3:    {kind: InitForm, arg0: inst600000D5, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000E4:    {kind: ImportRefLoaded, arg0: import_ir_inst6E, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst600000E5:    {kind: ImportRefLoaded, arg0: import_ir_inst6F, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000E6:    {kind: ImportRefLoaded, arg0: import_ir_inst70, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst600000E7:    {kind: ImportRefLoaded, arg0: import_ir_inst71, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst600000E8:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst600000E9:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst600000E8, type: type(TypeType)}
// CHECK:STDOUT:     inst600000EA:    {kind: SymbolicBinding, arg0: entity_name6000001B, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst600000EB:    {kind: SymbolicBindingType, arg0: entity_name6000001B, arg1: inst600000EA, type: type(TypeType)}
// CHECK:STDOUT:     inst600000EC:    {kind: TupleType, arg0: inst_block60000048, type: type(TypeType)}
// CHECK:STDOUT:     inst600000ED:    {kind: PatternType, arg0: inst600000EC, type: type(TypeType)}
// CHECK:STDOUT:     inst600000EE:    {kind: InitForm, arg0: inst600000EC, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000EF:    {kind: LookupImplWitness, arg0: inst600000D3, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F0:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst600000D3, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F1:    {kind: ImplWitnessAccess, arg0: inst600000EF, arg1: element0, type: type(symbolic_constant60000096)}
// CHECK:STDOUT:     inst600000F2:    {kind: SpecificImplFunction, arg0: inst600000F1, arg1: specific6000000B, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst600000F3:    {kind: InitForm, arg0: inst600000D4, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst600000F4:    {kind: PatternType, arg0: inst600000D4, type: type(TypeType)}
// CHECK:STDOUT:     inst600000F5:    {kind: RequireCompleteType, arg0: inst600000D4, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F6:    {kind: RequireCompleteType, arg0: inst600000D5, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F7:    {kind: RequireCompleteType, arg0: inst600000EC, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F8:    {kind: RequireCompleteType, arg0: inst600000E9, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000F9:    {kind: LookupImplWitness, arg0: inst600000E8, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000FA:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst600000E8, type: type(TypeType)}
// CHECK:STDOUT:     inst600000FB:    {kind: ImplWitnessAccess, arg0: inst600000F9, arg1: element0, type: type(symbolic_constant600000AB)}
// CHECK:STDOUT:     inst600000FC:    {kind: SpecificImplFunction, arg0: inst600000FB, arg1: specific6000000D, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst600000FD:    {kind: RequireCompleteType, arg0: inst600000EB, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000FE:    {kind: LookupImplWitness, arg0: inst600000EA, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst600000FF:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst600000EA, type: type(TypeType)}
// CHECK:STDOUT:     inst60000100:    {kind: ImplWitnessAccess, arg0: inst600000FE, arg1: element0, type: type(symbolic_constant600000B0)}
// CHECK:STDOUT:     inst60000101:    {kind: SpecificImplFunction, arg0: inst60000100, arg1: specific6000000E, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000102:    {kind: SymbolicBindingPattern, arg0: entity_name60000028, type: type(inst60000090)}
// CHECK:STDOUT:     inst60000103:    {kind: SymbolicBindingPattern, arg0: entity_name60000029, type: type(inst60000090)}
// CHECK:STDOUT:     inst60000104:    {kind: ImportRefLoaded, arg0: import_ir_inst86, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000105:    {kind: ImportRefLoaded, arg0: import_ir_inst87, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000106:    {kind: ImportRefLoaded, arg0: import_ir_inst88, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000107:    {kind: ImportRefLoaded, arg0: import_ir_inst89, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000108:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000109:    {kind: SymbolicBinding, arg0: entity_name6000001B, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000010A:    {kind: TupleValue, arg0: inst_block60000052, type: type(inst600000DC)}
// CHECK:STDOUT:     inst6000010B:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000108, type: type(TypeType)}
// CHECK:STDOUT:     inst6000010C:    {kind: SymbolicBindingType, arg0: entity_name6000001B, arg1: inst60000109, type: type(TypeType)}
// CHECK:STDOUT:     inst6000010D:    {kind: TupleType, arg0: inst_block60000053, type: type(TypeType)}
// CHECK:STDOUT:     inst6000010E:    {kind: ImplWitness, arg0: inst600000D7, arg1: specific6000000F, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000010F:    {kind: FunctionType, arg0: function60000004, arg1: specific6000000F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000110:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000C1)}
// CHECK:STDOUT:     inst60000111:    {kind: ImportRefUnloaded, arg0: import_ir_inst93, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000112:    {kind: ImplDecl, arg0: impl60000009, arg1: inst_block_empty}
// CHECK:STDOUT:     inst60000113:    {kind: SymbolicBinding, arg0: entity_name6000002A, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000114:    {kind: SymbolicBindingType, arg0: entity_name6000002A, arg1: inst60000113, type: type(TypeType)}
// CHECK:STDOUT:     inst60000115:    {kind: TupleType, arg0: inst_block60000058, type: type(TypeType)}
// CHECK:STDOUT:     inst60000116:    {kind: ImportRefUnloaded, arg0: import_ir_inst95, arg1: entity_name<none>}
// CHECK:STDOUT:     inst60000117:    {kind: ImplWitnessTable, arg0: inst_block60000059, arg1: impl60000009}
// CHECK:STDOUT:     inst60000118:    {kind: ImplWitness, arg0: inst60000117, arg1: specific60000010, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000119:    {kind: FunctionDecl, arg0: function60000005, arg1: inst_block_empty, type: type(symbolic_constant600000C9)}
// CHECK:STDOUT:     inst6000011A:    {kind: FunctionType, arg0: function60000005, arg1: specific60000010, type: type(TypeType)}
// CHECK:STDOUT:     inst6000011B:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant600000C9)}
// CHECK:STDOUT:     inst6000011C:    {kind: TupleType, arg0: inst_block6000005B, type: type(TypeType)}
// CHECK:STDOUT:     inst6000011D:    {kind: TupleValue, arg0: inst_block6000005A, type: type(inst6000011C)}
// CHECK:STDOUT:     inst6000011E:    {kind: PatternType, arg0: inst60000115, type: type(TypeType)}
// CHECK:STDOUT:     inst6000011F:    {kind: ReturnSlotPattern, arg0: inst<none>, type: type(symbolic_constant600000CF)}
// CHECK:STDOUT:     inst60000120:    {kind: OutParamPattern, arg0: inst6000011F, arg1: call_param1, type: type(symbolic_constant600000CF)}
// CHECK:STDOUT:     inst60000121:    {kind: ValueBindingPattern, arg0: entity_name6000002C, type: type(symbolic_constant600000CF)}
// CHECK:STDOUT:     inst60000122:    {kind: ValueParamPattern, arg0: inst60000121, arg1: call_param0, type: type(symbolic_constant600000CF)}
// CHECK:STDOUT:     inst60000123:    {kind: InitForm, arg0: inst60000115, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000124:    {kind: ImportRefLoaded, arg0: import_ir_inst9C, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst60000125:    {kind: ImportRefLoaded, arg0: import_ir_inst9D, arg1: entity_name<none>, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000126:    {kind: ImportRefLoaded, arg0: import_ir_inst9E, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000127:    {kind: ImportRefLoaded, arg0: import_ir_inst9F, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000128:    {kind: ImportRefLoaded, arg0: import_ir_instA0, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000129:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000012A:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000129, type: type(TypeType)}
// CHECK:STDOUT:     inst6000012B:    {kind: SymbolicBinding, arg0: entity_name6000001B, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000012C:    {kind: SymbolicBindingType, arg0: entity_name6000001B, arg1: inst6000012B, type: type(TypeType)}
// CHECK:STDOUT:     inst6000012D:    {kind: SymbolicBinding, arg0: entity_name6000002A, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst6000012E:    {kind: SymbolicBindingType, arg0: entity_name6000002A, arg1: inst6000012D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000012F:    {kind: TupleType, arg0: inst_block60000061, type: type(TypeType)}
// CHECK:STDOUT:     inst60000130:    {kind: PatternType, arg0: inst6000012F, type: type(TypeType)}
// CHECK:STDOUT:     inst60000131:    {kind: InitForm, arg0: inst6000012F, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000132:    {kind: LookupImplWitness, arg0: inst60000113, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000133:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst60000113, type: type(TypeType)}
// CHECK:STDOUT:     inst60000134:    {kind: ImplWitnessAccess, arg0: inst60000132, arg1: element0, type: type(symbolic_constant600000E8)}
// CHECK:STDOUT:     inst60000135:    {kind: SpecificImplFunction, arg0: inst60000134, arg1: specific60000011, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000136:    {kind: InitForm, arg0: inst60000114, arg1: call_param1, type: type(inst(FormType))}
// CHECK:STDOUT:     inst60000137:    {kind: PatternType, arg0: inst60000114, type: type(TypeType)}
// CHECK:STDOUT:     inst60000138:    {kind: RequireCompleteType, arg0: inst60000114, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000139:    {kind: RequireCompleteType, arg0: inst60000115, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000013A:    {kind: RequireCompleteType, arg0: inst6000012F, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000013B:    {kind: RequireCompleteType, arg0: inst6000012A, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000013C:    {kind: LookupImplWitness, arg0: inst60000129, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000013D:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst60000129, type: type(TypeType)}
// CHECK:STDOUT:     inst6000013E:    {kind: ImplWitnessAccess, arg0: inst6000013C, arg1: element0, type: type(symbolic_constant60000102)}
// CHECK:STDOUT:     inst6000013F:    {kind: SpecificImplFunction, arg0: inst6000013E, arg1: specific60000013, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000140:    {kind: RequireCompleteType, arg0: inst6000012C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000141:    {kind: LookupImplWitness, arg0: inst6000012B, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000142:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst6000012B, type: type(TypeType)}
// CHECK:STDOUT:     inst60000143:    {kind: ImplWitnessAccess, arg0: inst60000141, arg1: element0, type: type(symbolic_constant60000107)}
// CHECK:STDOUT:     inst60000144:    {kind: SpecificImplFunction, arg0: inst60000143, arg1: specific60000014, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst60000145:    {kind: RequireCompleteType, arg0: inst6000012E, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000146:    {kind: LookupImplWitness, arg0: inst6000012D, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000147:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst6000012D, type: type(TypeType)}
// CHECK:STDOUT:     inst60000148:    {kind: ImplWitnessAccess, arg0: inst60000146, arg1: element0, type: type(symbolic_constant6000010C)}
// CHECK:STDOUT:     inst60000149:    {kind: SpecificImplFunction, arg0: inst60000148, arg1: specific60000015, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000014A:    {kind: SymbolicBindingPattern, arg0: entity_name6000003C, type: type(inst60000090)}
// CHECK:STDOUT:     inst6000014B:    {kind: SymbolicBindingPattern, arg0: entity_name6000003D, type: type(inst60000090)}
// CHECK:STDOUT:     inst6000014C:    {kind: SymbolicBindingPattern, arg0: entity_name6000003E, type: type(inst60000090)}
// CHECK:STDOUT:     inst6000014D:    {kind: ImportRefLoaded, arg0: import_ir_instBD, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000014E:    {kind: ImportRefLoaded, arg0: import_ir_instBE, arg1: entity_name<none>, type: type(TypeType)}
// CHECK:STDOUT:     inst6000014F:    {kind: ImportRefLoaded, arg0: import_ir_instBF, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000150:    {kind: ImportRefLoaded, arg0: import_ir_instC0, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000151:    {kind: ImportRefLoaded, arg0: import_ir_instC1, arg1: entity_name<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000152:    {kind: SymbolicBinding, arg0: entity_name60000001, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000153:    {kind: SymbolicBinding, arg0: entity_name6000001B, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000154:    {kind: SymbolicBinding, arg0: entity_name6000002A, arg1: inst<none>, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000155:    {kind: TupleValue, arg0: inst_block6000006C, type: type(inst6000011C)}
// CHECK:STDOUT:     inst60000156:    {kind: SymbolicBindingType, arg0: entity_name60000001, arg1: inst60000152, type: type(TypeType)}
// CHECK:STDOUT:     inst60000157:    {kind: SymbolicBindingType, arg0: entity_name6000001B, arg1: inst60000153, type: type(TypeType)}
// CHECK:STDOUT:     inst60000158:    {kind: SymbolicBindingType, arg0: entity_name6000002A, arg1: inst60000154, type: type(TypeType)}
// CHECK:STDOUT:     inst60000159:    {kind: TupleType, arg0: inst_block6000006D, type: type(TypeType)}
// CHECK:STDOUT:     inst6000015A:    {kind: ImplWitness, arg0: inst60000117, arg1: specific60000016, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000015B:    {kind: FunctionType, arg0: function60000005, arg1: specific60000016, type: type(TypeType)}
// CHECK:STDOUT:     inst6000015C:    {kind: StructValue, arg0: inst_block_empty, type: type(symbolic_constant60000121)}
// CHECK:STDOUT:     inst6000015D:    {kind: RequireSpecificDefinition, arg0: specific60000007, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst6000015E:    {kind: RequireSpecificDefinition, arg0: specific60000007, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst6000015F:    {kind: RequireSpecificDefinition, arg0: specific60000017, type: type(inst(RequireSpecificDefinitionType))}
// CHECK:STDOUT:     inst60000160:    {kind: LookupImplWitness, arg0: inst6000001C, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000161:    {kind: LookupImplWitness, arg0: inst6000001D, arg1: specific_interface60000000, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst60000162:    {kind: FacetValue, arg0: inst6000001C, arg1: inst_block60000074, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000163:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst60000162, type: type(TypeType)}
// CHECK:STDOUT:     inst60000164:    {kind: ImplWitnessAccess, arg0: inst60000160, arg1: element0, type: type(symbolic_constant6000012C)}
// CHECK:STDOUT:     inst60000165:    {kind: ImplWitnessAccess, arg0: inst60000160, arg1: element0, type: type(symbolic_constant60000129)}
// CHECK:STDOUT:     inst60000166:    {kind: FacetValue, arg0: inst6000001D, arg1: inst_block60000075, type: type(inst6000004F)}
// CHECK:STDOUT:     inst60000167:    {kind: FunctionTypeWithSelfType, arg0: inst60000058, arg1: inst60000166, type: type(TypeType)}
// CHECK:STDOUT:     inst60000168:    {kind: ImplWitnessAccess, arg0: inst60000161, arg1: element0, type: type(symbolic_constant6000012C)}
// CHECK:STDOUT:     inst60000169:    {kind: BoundMethod, arg0: inst60000047, arg1: inst60000164, type: type(inst(BoundMethodType))}
// CHECK:STDOUT:     inst6000016A:    {kind: SpecificImplFunction, arg0: inst60000164, arg1: specific60000018, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000016B:    {kind: SpecificImplFunction, arg0: inst60000165, arg1: specific60000018, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000016C:    {kind: SpecificImplFunction, arg0: inst60000168, arg1: specific60000019, type: type(inst(SpecificFunctionType))}
// CHECK:STDOUT:     inst6000016D:    {kind: BoundMethod, arg0: inst60000047, arg1: inst6000016A, type: type(inst(BoundMethodType))}
// CHECK:STDOUT:     inst6000016E:    {kind: RequireCompleteType, arg0: inst6000001C, type: type(inst(WitnessType))}
// CHECK:STDOUT:     inst6000016F:    {kind: Call, arg0: inst6000016D, arg1: inst_block60000079, type: type(symbolic_constant4)}
// CHECK:STDOUT:     inst60000170:    {kind: InitializeFrom, arg0: inst6000016F, arg1: inst6000004B, type: type(symbolic_constant4)}
// CHECK:STDOUT:     inst60000171:    {kind: TupleAccess, arg0: inst6000003A, arg1: element1, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000172:    {kind: TupleInit, arg0: inst_block_empty, arg1: inst60000171, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000173:    {kind: Converted, arg0: inst60000048, arg1: inst60000172, type: type(inst60000025)}
// CHECK:STDOUT:     inst60000174:    {kind: TupleInit, arg0: inst_block6000007A, arg1: inst6000003A, type: type(symbolic_constantA)}
// CHECK:STDOUT:     inst60000175:    {kind: Converted, arg0: inst60000049, arg1: inst60000174, type: type(symbolic_constantA)}
// CHECK:STDOUT:     inst60000176:    {kind: ReturnExpr, arg0: inst60000175, 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_constant0
// CHECK:STDOUT:       inst60000014:    symbolic_constant0
// CHECK:STDOUT:       inst60000015:    symbolic_constant2
// CHECK:STDOUT:       inst60000016:    symbolic_constant1
// CHECK:STDOUT:       inst60000017:    symbolic_constant2
// CHECK:STDOUT:       inst60000018:    concrete_constant(inst60000018)
// CHECK:STDOUT:       inst60000019:    concrete_constant(inst60000019)
// CHECK:STDOUT:       inst6000001A:    symbolic_constant2
// CHECK:STDOUT:       inst6000001B:    symbolic_constant4
// CHECK:STDOUT:       inst6000001C:    symbolic_constant3
// CHECK:STDOUT:       inst6000001D:    symbolic_constant4
// CHECK:STDOUT:       inst6000001F:    symbolic_constant5
// CHECK:STDOUT:       inst60000020:    concrete_constant(inst60000020)
// CHECK:STDOUT:       inst60000021:    symbolic_constant6
// CHECK:STDOUT:       inst60000022:    concrete_constant(inst60000022)
// CHECK:STDOUT:       inst60000023:    symbolic_constant2
// CHECK:STDOUT:       inst60000024:    symbolic_constant4
// 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_constant8
// CHECK:STDOUT:       inst6000002A:    symbolic_constant7
// CHECK:STDOUT:       inst6000002B:    symbolic_constant8
// CHECK:STDOUT:       inst6000002C:    concrete_constant(inst6000002C)
// CHECK:STDOUT:       inst6000002D:    concrete_constant(inst60000025)
// CHECK:STDOUT:       inst6000002E:    symbolic_constant9
// CHECK:STDOUT:       inst6000002F:    symbolic_constantA
// CHECK:STDOUT:       inst60000030:    symbolic_constantA
// CHECK:STDOUT:       inst60000031:    symbolic_constantC
// CHECK:STDOUT:       inst60000032:    symbolic_constantB
// CHECK:STDOUT:       inst60000033:    symbolic_constantC
// CHECK:STDOUT:       inst60000034:    symbolic_constantD
// CHECK:STDOUT:       inst60000035:    concrete_constant(inst60000035)
// CHECK:STDOUT:       inst60000036:    symbolic_constantE
// CHECK:STDOUT:       inst60000037:    concrete_constant(inst60000037)
// CHECK:STDOUT:       inst60000039:    symbolic_constant4
// CHECK:STDOUT:       inst6000003C:    concrete_constant(inst6000003E)
// CHECK:STDOUT:       inst6000003D:    concrete_constant(inst6000003D)
// CHECK:STDOUT:       inst6000003E:    concrete_constant(inst6000003E)
// CHECK:STDOUT:       inst6000003F:    symbolic_constantF
// CHECK:STDOUT:       inst60000040:    symbolic_constant60000011
// 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:       inst60000046:    symbolic_constant60000011
// CHECK:STDOUT:       inst60000048:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst6000004A:    symbolic_constant60000011
// CHECK:STDOUT:       inst6000004C:    symbolic_constant60000013
// CHECK:STDOUT:       inst6000004D:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst6000004E:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst6000004F:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst60000050:    symbolic_constant60000014
// CHECK:STDOUT:       inst60000051:    constant<none>
// CHECK:STDOUT:       inst60000052:    concrete_constant(inst60000056)
// CHECK:STDOUT:       inst60000053:    constant<none>
// CHECK:STDOUT:       inst60000054:    concrete_constant(inst60000054)
// CHECK:STDOUT:       inst60000055:    concrete_constant(inst60000059)
// CHECK:STDOUT:       inst60000056:    concrete_constant(inst60000056)
// CHECK:STDOUT:       inst60000057:    concrete_constant(inst60000059)
// CHECK:STDOUT:       inst60000058:    concrete_constant(inst60000058)
// CHECK:STDOUT:       inst60000059:    concrete_constant(inst60000059)
// CHECK:STDOUT:       inst6000005A:    symbolic_constant60000015
// CHECK:STDOUT:       inst6000005B:    symbolic_constant60000016
// CHECK:STDOUT:       inst6000005C:    concrete_constant(inst6000005C)
// CHECK:STDOUT:       inst6000005D:    concrete_constant(inst6000005D)
// CHECK:STDOUT:       inst6000005E:    concrete_constant(inst6000005E)
// CHECK:STDOUT:       inst6000005F:    concrete_constant(inst6000005F)
// CHECK:STDOUT:       inst60000060:    symbolic_constant60000018
// CHECK:STDOUT:       inst60000061:    symbolic_constant6000001D
// CHECK:STDOUT:       inst60000062:    symbolic_constant6000001C
// CHECK:STDOUT:       inst60000063:    symbolic_constant60000014
// CHECK:STDOUT:       inst60000064:    symbolic_constant6000001E
// CHECK:STDOUT:       inst60000065:    symbolic_constant6000001F
// CHECK:STDOUT:       inst60000066:    symbolic_constant60000020
// CHECK:STDOUT:       inst60000067:    symbolic_constant60000021
// CHECK:STDOUT:       inst60000068:    symbolic_constant60000127
// CHECK:STDOUT:       inst60000069:    constant<none>
// CHECK:STDOUT:       inst6000006A:    concrete_constant(inst6000006A)
// CHECK:STDOUT:       inst6000006B:    symbolic_constant60000022
// CHECK:STDOUT:       inst6000006C:    symbolic_constant60000023
// CHECK:STDOUT:       inst6000006D:    symbolic_constant60000024
// CHECK:STDOUT:       inst6000006E:    constant<none>
// CHECK:STDOUT:       inst6000006F:    concrete_constant(inst6000006F)
// CHECK:STDOUT:       inst60000070:    symbolic_constant60000026
// CHECK:STDOUT:       inst60000071:    symbolic_constant6000002A
// CHECK:STDOUT:       inst60000072:    symbolic_constant60000028
// CHECK:STDOUT:       inst60000073:    symbolic_constant60000029
// CHECK:STDOUT:       inst60000074:    symbolic_constant6000002C
// CHECK:STDOUT:       inst60000075:    concrete_constant(inst60000075)
// CHECK:STDOUT:       inst60000076:    concrete_constant(inst60000076)
// CHECK:STDOUT:       inst60000077:    concrete_constant(inst60000077)
// CHECK:STDOUT:       inst60000078:    concrete_constant(inst60000078)
// CHECK:STDOUT:       inst60000079:    symbolic_constant6000002E
// CHECK:STDOUT:       inst6000007A:    symbolic_constant60000035
// CHECK:STDOUT:       inst6000007B:    symbolic_constant60000034
// CHECK:STDOUT:       inst6000007C:    symbolic_constant60000033
// CHECK:STDOUT:       inst6000007D:    symbolic_constant60000036
// CHECK:STDOUT:       inst6000007E:    symbolic_constant60000037
// CHECK:STDOUT:       inst6000007F:    symbolic_constant60000038
// CHECK:STDOUT:       inst60000080:    symbolic_constant60000039
// CHECK:STDOUT:       inst60000081:    symbolic_constant6000003A
// CHECK:STDOUT:       inst60000082:    symbolic_constant6000003B
// CHECK:STDOUT:       inst60000083:    symbolic_constant6000003C
// CHECK:STDOUT:       inst60000084:    symbolic_constant6000003D
// CHECK:STDOUT:       inst60000085:    symbolic_constant6000003E
// CHECK:STDOUT:       inst60000086:    symbolic_constant60000040
// CHECK:STDOUT:       inst60000087:    symbolic_constant60000041
// CHECK:STDOUT:       inst60000088:    symbolic_constant60000045
// CHECK:STDOUT:       inst60000089:    symbolic_constant60000047
// CHECK:STDOUT:       inst6000008A:    symbolic_constant60000049
// CHECK:STDOUT:       inst6000008B:    symbolic_constant6000004A
// CHECK:STDOUT:       inst6000008C:    symbolic_constant6000004B
// CHECK:STDOUT:       inst6000008D:    symbolic_constant6000004C
// CHECK:STDOUT:       inst6000008E:    symbolic_constant6000004D
// CHECK:STDOUT:       inst6000008F:    symbolic_constant6000004E
// CHECK:STDOUT:       inst60000090:    concrete_constant(inst60000090)
// CHECK:STDOUT:       inst60000091:    concrete_constant(inst60000091)
// CHECK:STDOUT:       inst60000092:    symbolic_constant60000025
// CHECK:STDOUT:       inst60000093:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst60000094:    symbolic_constant60000033
// CHECK:STDOUT:       inst60000095:    symbolic_constant60000052
// CHECK:STDOUT:       inst60000096:    symbolic_constant60000053
// CHECK:STDOUT:       inst60000097:    symbolic_constant60000054
// CHECK:STDOUT:       inst60000098:    symbolic_constant60000055
// CHECK:STDOUT:       inst60000099:    symbolic_constant60000057
// CHECK:STDOUT:       inst6000009A:    symbolic_constant60000058
// CHECK:STDOUT:       inst6000009B:    constant<none>
// CHECK:STDOUT:       inst6000009C:    concrete_constant(inst6000009C)
// CHECK:STDOUT:       inst6000009D:    concrete_constant(inst(BoolType))
// CHECK:STDOUT:       inst6000009E:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst6000009F:    constant<none>
// CHECK:STDOUT:       inst600000A0:    concrete_constant(inst600000A0)
// CHECK:STDOUT:       inst600000A1:    concrete_constant(inst(CharLiteralType))
// CHECK:STDOUT:       inst600000A2:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000A3:    constant<none>
// CHECK:STDOUT:       inst600000A4:    concrete_constant(inst600000A4)
// CHECK:STDOUT:       inst600000A5:    concrete_constant(inst(FloatLiteralType))
// CHECK:STDOUT:       inst600000A6:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000A7:    constant<none>
// CHECK:STDOUT:       inst600000A8:    concrete_constant(inst600000A8)
// CHECK:STDOUT:       inst600000A9:    concrete_constant(inst(IntLiteralType))
// CHECK:STDOUT:       inst600000AA:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000AB:    symbolic_constant60000123
// CHECK:STDOUT:       inst600000AC:    concrete_constant(inst600000AC)
// CHECK:STDOUT:       inst600000AD:    constant<none>
// CHECK:STDOUT:       inst600000AE:    concrete_constant(inst600000AE)
// CHECK:STDOUT:       inst600000AF:    symbolic_constant6000005A
// CHECK:STDOUT:       inst600000B0:    concrete_constant(inst600000B0)
// CHECK:STDOUT:       inst600000B1:    symbolic_constant60000059
// CHECK:STDOUT:       inst600000B2:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000B3:    symbolic_constant6000005E
// CHECK:STDOUT:       inst600000B4:    symbolic_constant6000005F
// CHECK:STDOUT:       inst600000B5:    symbolic_constant60000060
// CHECK:STDOUT:       inst600000B6:    symbolic_constant60000061
// CHECK:STDOUT:       inst600000B7:    symbolic_constant60000065
// CHECK:STDOUT:       inst600000B8:    symbolic_constant60000063
// CHECK:STDOUT:       inst600000B9:    symbolic_constant60000064
// CHECK:STDOUT:       inst600000BA:    concrete_constant(inst600000BA)
// CHECK:STDOUT:       inst600000BB:    concrete_constant(inst600000BB)
// CHECK:STDOUT:       inst600000BC:    concrete_constant(inst600000BC)
// CHECK:STDOUT:       inst600000BD:    concrete_constant(inst600000BD)
// CHECK:STDOUT:       inst600000BE:    symbolic_constant60000068
// CHECK:STDOUT:       inst600000BF:    symbolic_constant6000006D
// CHECK:STDOUT:       inst600000C0:    symbolic_constant6000006C
// CHECK:STDOUT:       inst600000C1:    symbolic_constant6000005E
// CHECK:STDOUT:       inst600000C2:    symbolic_constant6000006E
// CHECK:STDOUT:       inst600000C3:    symbolic_constant6000006F
// CHECK:STDOUT:       inst600000C4:    symbolic_constant60000070
// CHECK:STDOUT:       inst600000C5:    symbolic_constant60000071
// CHECK:STDOUT:       inst600000C6:    symbolic_constant60000073
// CHECK:STDOUT:       inst600000C7:    symbolic_constant60000074
// CHECK:STDOUT:       inst600000C8:    symbolic_constant60000075
// CHECK:STDOUT:       inst600000C9:    constant<none>
// CHECK:STDOUT:       inst600000CA:    concrete_constant(inst600000CA)
// CHECK:STDOUT:       inst600000CB:    concrete_constant(inst(TypeType))
// CHECK:STDOUT:       inst600000CC:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000CD:    constant<none>
// CHECK:STDOUT:       inst600000CE:    concrete_constant(inst600000CE)
// CHECK:STDOUT:       inst600000CF:    concrete_constant(inst60000025)
// CHECK:STDOUT:       inst600000D0:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst600000D1:    constant<none>
// CHECK:STDOUT:       inst600000D2:    concrete_constant(inst600000D2)
// CHECK:STDOUT:       inst600000D3:    symbolic_constant60000076
// CHECK:STDOUT:       inst600000D4:    symbolic_constant60000077
// CHECK:STDOUT:       inst600000D5:    symbolic_constant60000078
// CHECK:STDOUT:       inst600000D6:    constant<none>
// CHECK:STDOUT:       inst600000D7:    concrete_constant(inst600000D7)
// CHECK:STDOUT:       inst600000D8:    symbolic_constant6000007A
// CHECK:STDOUT:       inst600000D9:    symbolic_constant6000007E
// CHECK:STDOUT:       inst600000DA:    symbolic_constant6000007C
// CHECK:STDOUT:       inst600000DB:    symbolic_constant6000007D
// CHECK:STDOUT:       inst600000DC:    concrete_constant(inst600000DC)
// CHECK:STDOUT:       inst600000DD:    symbolic_constant60000080
// CHECK:STDOUT:       inst600000DE:    symbolic_constant60000081
// CHECK:STDOUT:       inst600000DF:    concrete_constant(inst600000DF)
// CHECK:STDOUT:       inst600000E0:    concrete_constant(inst600000E0)
// CHECK:STDOUT:       inst600000E1:    concrete_constant(inst600000E1)
// CHECK:STDOUT:       inst600000E2:    concrete_constant(inst600000E2)
// CHECK:STDOUT:       inst600000E3:    symbolic_constant60000083
// CHECK:STDOUT:       inst600000E4:    symbolic_constant6000008D
// CHECK:STDOUT:       inst600000E5:    symbolic_constant6000008C
// CHECK:STDOUT:       inst600000E6:    symbolic_constant6000008B
// CHECK:STDOUT:       inst600000E7:    symbolic_constant6000008A
// CHECK:STDOUT:       inst600000E8:    symbolic_constant6000008E
// CHECK:STDOUT:       inst600000E9:    symbolic_constant6000008F
// CHECK:STDOUT:       inst600000EA:    symbolic_constant60000090
// CHECK:STDOUT:       inst600000EB:    symbolic_constant60000091
// CHECK:STDOUT:       inst600000EC:    symbolic_constant60000092
// CHECK:STDOUT:       inst600000ED:    symbolic_constant60000093
// CHECK:STDOUT:       inst600000EE:    symbolic_constant60000094
// CHECK:STDOUT:       inst600000EF:    symbolic_constant60000095
// CHECK:STDOUT:       inst600000F0:    symbolic_constant60000096
// CHECK:STDOUT:       inst600000F1:    symbolic_constant60000097
// CHECK:STDOUT:       inst600000F2:    symbolic_constant60000098
// CHECK:STDOUT:       inst600000F3:    symbolic_constant6000009A
// CHECK:STDOUT:       inst600000F4:    symbolic_constant6000009B
// CHECK:STDOUT:       inst600000F5:    symbolic_constant6000009F
// CHECK:STDOUT:       inst600000F6:    symbolic_constant600000A6
// CHECK:STDOUT:       inst600000F7:    symbolic_constant600000A8
// CHECK:STDOUT:       inst600000F8:    symbolic_constant600000A9
// CHECK:STDOUT:       inst600000F9:    symbolic_constant600000AA
// CHECK:STDOUT:       inst600000FA:    symbolic_constant600000AB
// CHECK:STDOUT:       inst600000FB:    symbolic_constant600000AC
// CHECK:STDOUT:       inst600000FC:    symbolic_constant600000AD
// CHECK:STDOUT:       inst600000FD:    symbolic_constant600000AE
// CHECK:STDOUT:       inst600000FE:    symbolic_constant600000AF
// CHECK:STDOUT:       inst600000FF:    symbolic_constant600000B0
// CHECK:STDOUT:       inst60000100:    symbolic_constant600000B1
// CHECK:STDOUT:       inst60000101:    symbolic_constant600000B2
// CHECK:STDOUT:       inst60000102:    concrete_constant(inst60000102)
// CHECK:STDOUT:       inst60000103:    concrete_constant(inst60000103)
// CHECK:STDOUT:       inst60000104:    symbolic_constant60000079
// CHECK:STDOUT:       inst60000105:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst60000106:    symbolic_constant6000008B
// CHECK:STDOUT:       inst60000107:    symbolic_constant6000008A
// CHECK:STDOUT:       inst60000108:    symbolic_constant600000B9
// CHECK:STDOUT:       inst60000109:    symbolic_constant600000BA
// CHECK:STDOUT:       inst6000010A:    symbolic_constant600000BB
// CHECK:STDOUT:       inst6000010B:    symbolic_constant600000BC
// CHECK:STDOUT:       inst6000010C:    symbolic_constant600000BD
// CHECK:STDOUT:       inst6000010D:    symbolic_constant600000BE
// CHECK:STDOUT:       inst6000010E:    symbolic_constant600000BF
// CHECK:STDOUT:       inst6000010F:    symbolic_constant600000C1
// CHECK:STDOUT:       inst60000110:    symbolic_constant600000C2
// CHECK:STDOUT:       inst60000111:    constant<none>
// CHECK:STDOUT:       inst60000112:    concrete_constant(inst60000112)
// CHECK:STDOUT:       inst60000113:    symbolic_constant600000C3
// CHECK:STDOUT:       inst60000114:    symbolic_constant600000C4
// CHECK:STDOUT:       inst60000115:    symbolic_constant600000C5
// CHECK:STDOUT:       inst60000116:    constant<none>
// CHECK:STDOUT:       inst60000117:    concrete_constant(inst60000117)
// CHECK:STDOUT:       inst60000118:    symbolic_constant600000C7
// CHECK:STDOUT:       inst60000119:    symbolic_constant600000CB
// CHECK:STDOUT:       inst6000011A:    symbolic_constant600000C9
// CHECK:STDOUT:       inst6000011B:    symbolic_constant600000CA
// CHECK:STDOUT:       inst6000011C:    concrete_constant(inst6000011C)
// CHECK:STDOUT:       inst6000011D:    symbolic_constant600000CD
// CHECK:STDOUT:       inst6000011E:    symbolic_constant600000CE
// CHECK:STDOUT:       inst6000011F:    concrete_constant(inst6000011F)
// CHECK:STDOUT:       inst60000120:    concrete_constant(inst60000120)
// CHECK:STDOUT:       inst60000121:    concrete_constant(inst60000121)
// CHECK:STDOUT:       inst60000122:    concrete_constant(inst60000122)
// CHECK:STDOUT:       inst60000123:    symbolic_constant600000D0
// CHECK:STDOUT:       inst60000124:    symbolic_constant600000DD
// CHECK:STDOUT:       inst60000125:    symbolic_constant600000DC
// CHECK:STDOUT:       inst60000126:    symbolic_constant600000DB
// CHECK:STDOUT:       inst60000127:    symbolic_constant600000DA
// CHECK:STDOUT:       inst60000128:    symbolic_constant600000D9
// CHECK:STDOUT:       inst60000129:    symbolic_constant600000DE
// CHECK:STDOUT:       inst6000012A:    symbolic_constant600000DF
// CHECK:STDOUT:       inst6000012B:    symbolic_constant600000E0
// CHECK:STDOUT:       inst6000012C:    symbolic_constant600000E1
// CHECK:STDOUT:       inst6000012D:    symbolic_constant600000E2
// CHECK:STDOUT:       inst6000012E:    symbolic_constant600000E3
// CHECK:STDOUT:       inst6000012F:    symbolic_constant600000E4
// CHECK:STDOUT:       inst60000130:    symbolic_constant600000E5
// CHECK:STDOUT:       inst60000131:    symbolic_constant600000E6
// CHECK:STDOUT:       inst60000132:    symbolic_constant600000E7
// CHECK:STDOUT:       inst60000133:    symbolic_constant600000E8
// CHECK:STDOUT:       inst60000134:    symbolic_constant600000E9
// CHECK:STDOUT:       inst60000135:    symbolic_constant600000EA
// CHECK:STDOUT:       inst60000136:    symbolic_constant600000EC
// CHECK:STDOUT:       inst60000137:    symbolic_constant600000ED
// CHECK:STDOUT:       inst60000138:    symbolic_constant600000F1
// CHECK:STDOUT:       inst60000139:    symbolic_constant600000FD
// CHECK:STDOUT:       inst6000013A:    symbolic_constant600000FF
// CHECK:STDOUT:       inst6000013B:    symbolic_constant60000100
// CHECK:STDOUT:       inst6000013C:    symbolic_constant60000101
// CHECK:STDOUT:       inst6000013D:    symbolic_constant60000102
// CHECK:STDOUT:       inst6000013E:    symbolic_constant60000103
// CHECK:STDOUT:       inst6000013F:    symbolic_constant60000104
// CHECK:STDOUT:       inst60000140:    symbolic_constant60000105
// CHECK:STDOUT:       inst60000141:    symbolic_constant60000106
// CHECK:STDOUT:       inst60000142:    symbolic_constant60000107
// CHECK:STDOUT:       inst60000143:    symbolic_constant60000108
// CHECK:STDOUT:       inst60000144:    symbolic_constant60000109
// CHECK:STDOUT:       inst60000145:    symbolic_constant6000010A
// CHECK:STDOUT:       inst60000146:    symbolic_constant6000010B
// CHECK:STDOUT:       inst60000147:    symbolic_constant6000010C
// CHECK:STDOUT:       inst60000148:    symbolic_constant6000010D
// CHECK:STDOUT:       inst60000149:    symbolic_constant6000010E
// CHECK:STDOUT:       inst6000014A:    concrete_constant(inst6000014A)
// CHECK:STDOUT:       inst6000014B:    concrete_constant(inst6000014B)
// CHECK:STDOUT:       inst6000014C:    concrete_constant(inst6000014C)
// CHECK:STDOUT:       inst6000014D:    symbolic_constant600000C6
// CHECK:STDOUT:       inst6000014E:    concrete_constant(inst6000004F)
// CHECK:STDOUT:       inst6000014F:    symbolic_constant600000DB
// CHECK:STDOUT:       inst60000150:    symbolic_constant600000DA
// CHECK:STDOUT:       inst60000151:    symbolic_constant600000D9
// CHECK:STDOUT:       inst60000152:    symbolic_constant60000117
// CHECK:STDOUT:       inst60000153:    symbolic_constant60000118
// CHECK:STDOUT:       inst60000154:    symbolic_constant60000119
// CHECK:STDOUT:       inst60000155:    symbolic_constant6000011A
// CHECK:STDOUT:       inst60000156:    symbolic_constant6000011B
// CHECK:STDOUT:       inst60000157:    symbolic_constant6000011C
// CHECK:STDOUT:       inst60000158:    symbolic_constant6000011D
// CHECK:STDOUT:       inst60000159:    symbolic_constant6000011E
// CHECK:STDOUT:       inst6000015A:    symbolic_constant6000011F
// CHECK:STDOUT:       inst6000015B:    symbolic_constant60000121
// CHECK:STDOUT:       inst6000015C:    symbolic_constant60000122
// CHECK:STDOUT:       inst6000015D:    symbolic_constant60000125
// CHECK:STDOUT:       inst6000015E:    symbolic_constant60000124
// CHECK:STDOUT:       inst6000015F:    symbolic_constant60000125
// CHECK:STDOUT:       inst60000160:    symbolic_constant60000126
// CHECK:STDOUT:       inst60000161:    symbolic_constant60000127
// CHECK:STDOUT:       inst60000162:    symbolic_constant60000128
// CHECK:STDOUT:       inst60000163:    symbolic_constant60000129
// CHECK:STDOUT:       inst60000164:    symbolic_constant6000012D
// CHECK:STDOUT:       inst60000165:    symbolic_constant6000012A
// CHECK:STDOUT:       inst60000166:    symbolic_constant6000012B
// CHECK:STDOUT:       inst60000167:    symbolic_constant6000012C
// CHECK:STDOUT:       inst60000168:    symbolic_constant6000012D
// CHECK:STDOUT:       inst6000016A:    symbolic_constant6000012F
// CHECK:STDOUT:       inst6000016B:    symbolic_constant6000012E
// CHECK:STDOUT:       inst6000016C:    symbolic_constant6000012F
// CHECK:STDOUT:       inst6000016E:    symbolic_constant60000013
// CHECK:STDOUT:       inst60000172:    concrete_constant(inst60000027)
// CHECK:STDOUT:       inst60000173:    concrete_constant(inst60000027)
// CHECK:STDOUT:     symbolic_constants:
// CHECK:STDOUT:       symbolic_constant0: {inst: inst60000014, generic: generic<none>, index: generic_inst<none>, kind: self}
// CHECK:STDOUT:       symbolic_constant1: {inst: inst60000016, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant2: {inst: inst60000016, generic: generic60000000, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant3: {inst: inst6000001C, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant4: {inst: inst6000001C, generic: generic60000000, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant5: {inst: inst6000001F, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6: {inst: inst6000001F, generic: generic60000000, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant7: {inst: inst6000002A, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant8: {inst: inst6000002A, generic: generic60000000, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant9: {inst: inst6000002E, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constantA: {inst: inst6000002E, generic: generic60000000, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constantB: {inst: inst60000032, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constantC: {inst: inst60000032, generic: generic60000000, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constantD: {inst: inst60000034, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constantE: {inst: inst60000034, generic: generic60000000, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constantF: {inst: inst6000003F, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000010: {inst: inst60000041, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000011: {inst: inst60000041, generic: generic60000000, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000012: {inst: inst60000044, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000013: {inst: inst60000044, generic: generic60000000, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000014: {inst: inst60000050, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000015: {inst: inst6000005A, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000016: {inst: inst6000005B, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000017: {inst: inst6000005B, generic: generic60000001, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000018: {inst: inst60000060, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000019: {inst: inst60000060, generic: generic60000001, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001A: {inst: inst6000005A, generic: generic60000001, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001B: {inst: inst60000050, generic: generic60000001, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001C: {inst: inst60000060, generic: generic60000001, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001D: {inst: inst6000005A, generic: generic60000001, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001E: {inst: inst60000050, generic: generic60000001, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000001F: {inst: inst6000005A, generic: generic60000001, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000020: {inst: inst6000005B, generic: generic60000001, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000021: {inst: inst60000060, generic: generic60000001, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000022: {inst: inst6000006B, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000023: {inst: inst6000006C, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000024: {inst: inst6000006D, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000025: {inst: inst6000006D, generic: generic60000002, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000026: {inst: inst60000070, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000027: {inst: inst60000070, generic: generic60000002, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000028: {inst: inst60000072, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000029: {inst: inst60000073, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002A: {inst: inst60000073, generic: generic60000002, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002B: {inst: inst60000072, generic: generic60000002, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002C: {inst: inst60000074, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002D: {inst: inst60000074, generic: generic60000003, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002E: {inst: inst60000079, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000002F: {inst: inst60000079, generic: generic60000003, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000030: {inst: inst6000006D, generic: generic60000003, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000031: {inst: inst6000006C, generic: generic60000003, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000032: {inst: inst6000006B, generic: generic60000003, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000033: {inst: inst6000006B, generic: generic60000002, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000034: {inst: inst60000079, generic: generic60000003, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000035: {inst: inst6000006D, generic: generic60000003, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000036: {inst: inst6000006B, generic: generic60000003, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000037: {inst: inst6000006C, generic: generic60000003, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000038: {inst: inst6000006D, generic: generic60000003, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000039: {inst: inst60000074, generic: generic60000003, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003A: {inst: inst60000079, generic: generic60000003, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003B: {inst: inst60000082, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003C: {inst: inst60000083, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003D: {inst: inst60000084, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003E: {inst: inst60000085, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000003F: {inst: inst60000085, generic: generic60000003, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000040: {inst: inst60000086, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000041: {inst: inst60000087, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000042: {inst: inst60000084, generic: generic60000003, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000043: {inst: inst60000083, generic: generic60000003, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000044: {inst: inst60000082, generic: generic60000003, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000045: {inst: inst60000088, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000046: {inst: inst60000088, generic: generic60000003, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000047: {inst: inst60000089, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000048: {inst: inst60000089, generic: generic60000003, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000049: {inst: inst60000089, generic: generic60000003, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004A: {inst: inst60000088, generic: generic60000003, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004B: {inst: inst60000082, generic: generic60000003, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004C: {inst: inst60000083, generic: generic60000003, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004D: {inst: inst60000084, generic: generic60000003, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004E: {inst: inst60000085, generic: generic60000003, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000004F: {inst: inst6000006D, generic: generic60000002, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000050: {inst: inst6000006C, generic: generic60000002, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000051: {inst: inst6000006B, generic: generic60000002, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000052: {inst: inst6000006B, generic: generic60000002, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000053: {inst: inst6000006C, generic: generic60000002, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000054: {inst: inst6000006D, generic: generic60000002, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000055: {inst: inst60000070, generic: generic60000002, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000056: {inst: inst60000073, generic: generic60000002, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000057: {inst: inst60000072, generic: generic60000002, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000058: {inst: inst60000073, generic: generic60000002, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000059: {inst: inst6000001C, generic: generic60000004, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005A: {inst: inst600000AF, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005B: {inst: inst600000AF, generic: generic60000004, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005C: {inst: inst6000001C, generic: generic60000004, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005D: {inst: inst60000016, generic: generic60000004, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005E: {inst: inst60000016, generic: generic60000004, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000005F: {inst: inst60000016, generic: generic60000004, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000060: {inst: inst6000001C, generic: generic60000004, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000061: {inst: inst600000AF, generic: generic60000004, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000062: {inst: inst60000044, generic: generic60000004, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000063: {inst: inst600000B8, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000064: {inst: inst600000B9, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000065: {inst: inst600000B9, generic: generic60000004, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000066: {inst: inst600000B8, generic: generic60000004, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000067: {inst: inst6000001F, generic: generic60000005, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000068: {inst: inst600000BE, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000069: {inst: inst600000BE, generic: generic60000005, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006A: {inst: inst6000001C, generic: generic60000005, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006B: {inst: inst60000016, generic: generic60000005, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006C: {inst: inst600000BE, generic: generic60000005, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006D: {inst: inst6000001C, generic: generic60000005, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006E: {inst: inst60000016, generic: generic60000005, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000006F: {inst: inst6000001C, generic: generic60000005, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000070: {inst: inst6000001F, generic: generic60000005, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000071: {inst: inst600000BE, generic: generic60000005, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000072: {inst: inst600000B9, generic: generic60000004, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000073: {inst: inst600000B8, generic: generic60000004, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000074: {inst: inst600000B9, generic: generic60000004, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000075: {inst: inst60000044, generic: generic60000004, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000076: {inst: inst600000D3, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000077: {inst: inst600000D4, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000078: {inst: inst600000D5, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000079: {inst: inst600000D5, generic: generic60000006, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007A: {inst: inst600000D8, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007B: {inst: inst600000D8, generic: generic60000006, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007C: {inst: inst600000DA, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007D: {inst: inst600000DB, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007E: {inst: inst600000DB, generic: generic60000006, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000007F: {inst: inst600000DA, generic: generic60000006, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000080: {inst: inst600000DD, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000081: {inst: inst600000DE, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000082: {inst: inst600000DE, generic: generic60000007, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000083: {inst: inst600000E3, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000084: {inst: inst600000E3, generic: generic60000007, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000085: {inst: inst600000D5, generic: generic60000007, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000086: {inst: inst600000D4, generic: generic60000007, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000087: {inst: inst600000D3, generic: generic60000007, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000088: {inst: inst6000006C, generic: generic60000007, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000089: {inst: inst6000006B, generic: generic60000007, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008A: {inst: inst600000D3, generic: generic60000006, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008B: {inst: inst6000006B, generic: generic60000006, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008C: {inst: inst600000E3, generic: generic60000007, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008D: {inst: inst600000D5, generic: generic60000007, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008E: {inst: inst6000006B, generic: generic60000007, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000008F: {inst: inst6000006C, generic: generic60000007, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000090: {inst: inst600000D3, generic: generic60000007, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000091: {inst: inst600000D4, generic: generic60000007, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000092: {inst: inst600000D5, generic: generic60000007, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000093: {inst: inst600000DE, generic: generic60000007, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000094: {inst: inst600000E3, generic: generic60000007, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000095: {inst: inst600000EF, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000096: {inst: inst600000F0, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000097: {inst: inst600000F1, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000098: {inst: inst600000F2, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000099: {inst: inst600000F2, generic: generic60000007, index: generic_inst_in_def10, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009A: {inst: inst600000F3, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009B: {inst: inst600000F4, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009C: {inst: inst600000F1, generic: generic60000007, index: generic_inst_in_def9, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009D: {inst: inst600000F0, generic: generic60000007, index: generic_inst_in_def8, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009E: {inst: inst600000EF, generic: generic60000007, index: generic_inst_in_def7, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000009F: {inst: inst600000F5, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A0: {inst: inst600000F5, generic: generic60000007, index: generic_inst_in_def6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A1: {inst: inst60000085, generic: generic60000007, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A2: {inst: inst60000084, generic: generic60000007, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A3: {inst: inst60000083, generic: generic60000007, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A4: {inst: inst60000082, generic: generic60000007, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A5: {inst: inst60000088, generic: generic60000007, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A6: {inst: inst600000F6, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A7: {inst: inst600000F6, generic: generic60000007, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A8: {inst: inst600000F6, generic: generic60000007, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000A9: {inst: inst60000088, generic: generic60000007, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AA: {inst: inst60000082, generic: generic60000007, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AB: {inst: inst60000083, generic: generic60000007, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AC: {inst: inst60000084, generic: generic60000007, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AD: {inst: inst60000085, generic: generic60000007, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AE: {inst: inst600000F5, generic: generic60000007, index: generic_inst_in_def6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000AF: {inst: inst600000EF, generic: generic60000007, index: generic_inst_in_def7, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B0: {inst: inst600000F0, generic: generic60000007, index: generic_inst_in_def8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B1: {inst: inst600000F1, generic: generic60000007, index: generic_inst_in_def9, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B2: {inst: inst600000F2, generic: generic60000007, index: generic_inst_in_def10, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B3: {inst: inst600000D5, generic: generic60000006, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B4: {inst: inst600000D4, generic: generic60000006, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B5: {inst: inst6000006C, generic: generic60000006, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B6: {inst: inst600000DD, generic: generic60000006, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B7: {inst: inst600000D3, generic: generic60000006, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B8: {inst: inst6000006B, generic: generic60000006, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000B9: {inst: inst6000006B, generic: generic60000006, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BA: {inst: inst600000D3, generic: generic60000006, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BB: {inst: inst600000DD, generic: generic60000006, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BC: {inst: inst6000006C, generic: generic60000006, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BD: {inst: inst600000D4, generic: generic60000006, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BE: {inst: inst600000D5, generic: generic60000006, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000BF: {inst: inst600000D8, generic: generic60000006, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C0: {inst: inst600000DB, generic: generic60000006, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C1: {inst: inst600000DA, generic: generic60000006, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C2: {inst: inst600000DB, generic: generic60000006, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C3: {inst: inst60000113, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C4: {inst: inst60000114, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C5: {inst: inst60000115, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C6: {inst: inst60000115, generic: generic60000008, index: generic_inst_in_decl7, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C7: {inst: inst60000118, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C8: {inst: inst60000118, generic: generic60000008, index: generic_inst_in_decl8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000C9: {inst: inst6000011A, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CA: {inst: inst6000011B, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CB: {inst: inst6000011B, generic: generic60000008, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CC: {inst: inst6000011A, generic: generic60000008, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CD: {inst: inst6000011D, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CE: {inst: inst6000011E, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000CF: {inst: inst6000011E, generic: generic60000009, index: generic_inst_in_decl7, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D0: {inst: inst60000123, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D1: {inst: inst60000123, generic: generic60000009, index: generic_inst_in_decl8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D2: {inst: inst60000115, generic: generic60000009, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D3: {inst: inst60000114, generic: generic60000009, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D4: {inst: inst60000113, generic: generic60000009, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D5: {inst: inst600000D4, generic: generic60000009, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D6: {inst: inst600000D3, generic: generic60000009, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D7: {inst: inst6000006C, generic: generic60000009, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D8: {inst: inst6000006B, generic: generic60000009, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000D9: {inst: inst60000113, generic: generic60000008, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DA: {inst: inst600000D3, generic: generic60000008, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DB: {inst: inst6000006B, generic: generic60000008, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DC: {inst: inst60000123, generic: generic60000009, index: generic_inst_in_decl8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DD: {inst: inst60000115, generic: generic60000009, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DE: {inst: inst6000006B, generic: generic60000009, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000DF: {inst: inst6000006C, generic: generic60000009, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E0: {inst: inst600000D3, generic: generic60000009, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E1: {inst: inst600000D4, generic: generic60000009, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E2: {inst: inst60000113, generic: generic60000009, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E3: {inst: inst60000114, generic: generic60000009, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E4: {inst: inst60000115, generic: generic60000009, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E5: {inst: inst6000011E, generic: generic60000009, index: generic_inst_in_decl7, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E6: {inst: inst60000123, generic: generic60000009, index: generic_inst_in_decl8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E7: {inst: inst60000132, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E8: {inst: inst60000133, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000E9: {inst: inst60000134, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000EA: {inst: inst60000135, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000EB: {inst: inst60000135, generic: generic60000009, index: generic_inst_in_def15, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000EC: {inst: inst60000136, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000ED: {inst: inst60000137, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000EE: {inst: inst60000134, generic: generic60000009, index: generic_inst_in_def14, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000EF: {inst: inst60000133, generic: generic60000009, index: generic_inst_in_def13, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F0: {inst: inst60000132, generic: generic60000009, index: generic_inst_in_def12, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F1: {inst: inst60000138, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F2: {inst: inst60000138, generic: generic60000009, index: generic_inst_in_def11, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F3: {inst: inst600000F2, generic: generic60000009, index: generic_inst_in_def10, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F4: {inst: inst600000F1, generic: generic60000009, index: generic_inst_in_def9, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F5: {inst: inst600000F0, generic: generic60000009, index: generic_inst_in_def8, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F6: {inst: inst600000EF, generic: generic60000009, index: generic_inst_in_def7, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F7: {inst: inst600000F5, generic: generic60000009, index: generic_inst_in_def6, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F8: {inst: inst60000085, generic: generic60000009, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000F9: {inst: inst60000084, generic: generic60000009, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FA: {inst: inst60000083, generic: generic60000009, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FB: {inst: inst60000082, generic: generic60000009, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FC: {inst: inst60000088, generic: generic60000009, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FD: {inst: inst60000139, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FE: {inst: inst60000139, generic: generic60000009, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant600000FF: {inst: inst60000139, generic: generic60000009, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000100: {inst: inst60000088, generic: generic60000009, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000101: {inst: inst60000082, generic: generic60000009, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000102: {inst: inst60000083, generic: generic60000009, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000103: {inst: inst60000084, generic: generic60000009, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000104: {inst: inst60000085, generic: generic60000009, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000105: {inst: inst600000F5, generic: generic60000009, index: generic_inst_in_def6, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000106: {inst: inst600000EF, generic: generic60000009, index: generic_inst_in_def7, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000107: {inst: inst600000F0, generic: generic60000009, index: generic_inst_in_def8, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000108: {inst: inst600000F1, generic: generic60000009, index: generic_inst_in_def9, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000109: {inst: inst600000F2, generic: generic60000009, index: generic_inst_in_def10, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010A: {inst: inst60000138, generic: generic60000009, index: generic_inst_in_def11, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010B: {inst: inst60000132, generic: generic60000009, index: generic_inst_in_def12, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010C: {inst: inst60000133, generic: generic60000009, index: generic_inst_in_def13, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010D: {inst: inst60000134, generic: generic60000009, index: generic_inst_in_def14, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010E: {inst: inst60000135, generic: generic60000009, index: generic_inst_in_def15, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000010F: {inst: inst60000115, generic: generic60000008, index: generic_inst_in_decl7, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000110: {inst: inst60000114, generic: generic60000008, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000111: {inst: inst600000D4, generic: generic60000008, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000112: {inst: inst6000006C, generic: generic60000008, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000113: {inst: inst6000011D, generic: generic60000008, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000114: {inst: inst60000113, generic: generic60000008, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000115: {inst: inst600000D3, generic: generic60000008, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000116: {inst: inst6000006B, generic: generic60000008, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000117: {inst: inst6000006B, generic: generic60000008, index: generic_inst_in_decl0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000118: {inst: inst600000D3, generic: generic60000008, index: generic_inst_in_decl1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000119: {inst: inst60000113, generic: generic60000008, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011A: {inst: inst6000011D, generic: generic60000008, index: generic_inst_in_decl3, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011B: {inst: inst6000006C, generic: generic60000008, index: generic_inst_in_decl4, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011C: {inst: inst600000D4, generic: generic60000008, index: generic_inst_in_decl5, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011D: {inst: inst60000114, generic: generic60000008, index: generic_inst_in_decl6, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011E: {inst: inst60000115, generic: generic60000008, index: generic_inst_in_decl7, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000011F: {inst: inst60000118, generic: generic60000008, index: generic_inst_in_decl8, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000120: {inst: inst6000011B, generic: generic60000008, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000121: {inst: inst6000011A, generic: generic60000008, index: generic_inst_in_def0, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000122: {inst: inst6000011B, generic: generic60000008, index: generic_inst_in_def1, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000123: {inst: inst600000AF, generic: generic60000004, index: generic_inst_in_decl2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000124: {inst: inst6000015E, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000125: {inst: inst6000015E, generic: generic60000000, index: generic_inst_in_def2, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000126: {inst: inst60000160, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000127: {inst: inst60000160, generic: generic60000000, index: generic_inst_in_def3, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000128: {inst: inst60000162, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant60000129: {inst: inst60000163, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012A: {inst: inst60000165, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012B: {inst: inst60000162, generic: generic60000000, index: generic_inst_in_def4, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012C: {inst: inst60000163, generic: generic60000000, index: generic_inst_in_def5, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012D: {inst: inst60000165, generic: generic60000000, index: generic_inst_in_def6, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012E: {inst: inst6000016B, generic: generic<none>, index: generic_inst<none>, kind: checked}
// CHECK:STDOUT:       symbolic_constant6000012F: {inst: inst6000016B, generic: generic60000000, index: generic_inst_in_def7, kind: checked}
// 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:               inst6000004D
// CHECK:STDOUT:       2:               inst6000004E
// CHECK:STDOUT:       3:               inst60000051
// CHECK:STDOUT:       4:               inst60000052
// CHECK:STDOUT:       5:               inst60000053
// CHECK:STDOUT:       6:               inst60000055
// CHECK:STDOUT:       7:               inst60000057
// CHECK:STDOUT:       8:               inst6000005C
// CHECK:STDOUT:       9:               inst6000005D
// CHECK:STDOUT:       10:              inst6000005E
// CHECK:STDOUT:       11:              inst6000005F
// CHECK:STDOUT:       12:              inst60000061
// CHECK:STDOUT:       13:              inst60000062
// CHECK:STDOUT:       14:              inst60000063
// CHECK:STDOUT:       15:              inst60000069
// CHECK:STDOUT:       16:              inst6000006A
// CHECK:STDOUT:       17:              inst6000006E
// CHECK:STDOUT:       18:              inst6000006F
// CHECK:STDOUT:       19:              inst60000071
// CHECK:STDOUT:       20:              inst60000075
// CHECK:STDOUT:       21:              inst60000076
// CHECK:STDOUT:       22:              inst60000077
// CHECK:STDOUT:       23:              inst60000078
// CHECK:STDOUT:       24:              inst6000007A
// CHECK:STDOUT:       25:              inst6000007B
// CHECK:STDOUT:       26:              inst6000007C
// CHECK:STDOUT:       27:              inst60000091
// CHECK:STDOUT:       28:              inst60000092
// CHECK:STDOUT:       29:              inst60000093
// CHECK:STDOUT:       30:              inst60000094
// CHECK:STDOUT:       31:              inst6000009B
// CHECK:STDOUT:       32:              inst6000009C
// CHECK:STDOUT:       33:              inst6000009D
// CHECK:STDOUT:       34:              inst6000009E
// CHECK:STDOUT:       35:              inst6000009F
// CHECK:STDOUT:       36:              inst600000A0
// CHECK:STDOUT:       37:              inst600000A1
// CHECK:STDOUT:       38:              inst600000A2
// CHECK:STDOUT:       39:              inst600000A3
// CHECK:STDOUT:       40:              inst600000A4
// CHECK:STDOUT:       41:              inst600000A5
// CHECK:STDOUT:       42:              inst600000A6
// CHECK:STDOUT:       43:              inst600000A7
// CHECK:STDOUT:       44:              inst600000A8
// CHECK:STDOUT:       45:              inst600000A9
// CHECK:STDOUT:       46:              inst600000AA
// CHECK:STDOUT:       47:              inst600000AB
// CHECK:STDOUT:       48:              inst600000AC
// CHECK:STDOUT:       49:              inst600000AD
// CHECK:STDOUT:       50:              inst600000AE
// CHECK:STDOUT:       51:              inst600000B0
// CHECK:STDOUT:       52:              inst600000B1
// CHECK:STDOUT:       53:              inst600000B2
// CHECK:STDOUT:       54:              inst600000B3
// CHECK:STDOUT:       55:              inst600000B7
// CHECK:STDOUT:       56:              inst600000BA
// CHECK:STDOUT:       57:              inst600000BB
// CHECK:STDOUT:       58:              inst600000BC
// CHECK:STDOUT:       59:              inst600000BD
// CHECK:STDOUT:       60:              inst600000BF
// CHECK:STDOUT:       61:              inst600000C0
// CHECK:STDOUT:       62:              inst600000C1
// CHECK:STDOUT:       63:              inst600000C9
// CHECK:STDOUT:       64:              inst600000CA
// CHECK:STDOUT:       65:              inst600000CB
// CHECK:STDOUT:       66:              inst600000CC
// CHECK:STDOUT:       67:              inst600000CD
// CHECK:STDOUT:       68:              inst600000CE
// CHECK:STDOUT:       69:              inst600000CF
// CHECK:STDOUT:       70:              inst600000D0
// CHECK:STDOUT:       71:              inst600000D1
// CHECK:STDOUT:       72:              inst600000D2
// CHECK:STDOUT:       73:              inst600000D6
// CHECK:STDOUT:       74:              inst600000D7
// CHECK:STDOUT:       75:              inst600000D9
// CHECK:STDOUT:       76:              inst600000DF
// CHECK:STDOUT:       77:              inst600000E0
// CHECK:STDOUT:       78:              inst600000E1
// CHECK:STDOUT:       79:              inst600000E2
// CHECK:STDOUT:       80:              inst600000E4
// CHECK:STDOUT:       81:              inst600000E5
// CHECK:STDOUT:       82:              inst600000E6
// CHECK:STDOUT:       83:              inst600000E7
// CHECK:STDOUT:       84:              inst60000102
// CHECK:STDOUT:       85:              inst60000103
// CHECK:STDOUT:       86:              inst60000104
// CHECK:STDOUT:       87:              inst60000105
// CHECK:STDOUT:       88:              inst60000106
// CHECK:STDOUT:       89:              inst60000107
// CHECK:STDOUT:       90:              inst60000111
// CHECK:STDOUT:       91:              inst60000112
// CHECK:STDOUT:       92:              inst60000116
// CHECK:STDOUT:       93:              inst60000117
// CHECK:STDOUT:       94:              inst60000119
// CHECK:STDOUT:       95:              inst6000011F
// CHECK:STDOUT:       96:              inst60000120
// CHECK:STDOUT:       97:              inst60000121
// CHECK:STDOUT:       98:              inst60000122
// CHECK:STDOUT:       99:              inst60000124
// CHECK:STDOUT:       100:             inst60000125
// CHECK:STDOUT:       101:             inst60000126
// CHECK:STDOUT:       102:             inst60000127
// CHECK:STDOUT:       103:             inst60000128
// CHECK:STDOUT:       104:             inst6000014A
// CHECK:STDOUT:       105:             inst6000014B
// CHECK:STDOUT:       106:             inst6000014C
// CHECK:STDOUT:       107:             inst6000014D
// CHECK:STDOUT:       108:             inst6000014E
// CHECK:STDOUT:       109:             inst6000014F
// CHECK:STDOUT:       110:             inst60000150
// CHECK:STDOUT:       111:             inst60000151
// 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:               inst60000038
// CHECK:STDOUT:       1:               inst6000003A
// CHECK:STDOUT:     inst_block60000011:
// CHECK:STDOUT:       0:               inst60000019
// CHECK:STDOUT:       1:               inst60000020
// CHECK:STDOUT:       2:               inst60000022
// CHECK:STDOUT:       3:               inst60000035
// CHECK:STDOUT:       4:               inst60000037
// CHECK:STDOUT:     inst_block60000012:
// 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_block60000013:
// CHECK:STDOUT:       0:               inst60000015
// CHECK:STDOUT:     inst_block60000014:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:     inst_block60000015:
// 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_block60000016:
// 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_block60000017:
// CHECK:STDOUT:       0:               inst60000047
// CHECK:STDOUT:       1:               inst60000048
// CHECK:STDOUT:       2:               inst60000049
// CHECK:STDOUT:       3:               inst60000164
// CHECK:STDOUT:       4:               inst60000169
// CHECK:STDOUT:       5:               inst6000016A
// CHECK:STDOUT:       6:               inst6000016D
// CHECK:STDOUT:       7:               inst6000016F
// CHECK:STDOUT:       8:               inst6000004B
// CHECK:STDOUT:       9:               inst60000170
// CHECK:STDOUT:       10:              inst60000171
// CHECK:STDOUT:       11:              inst60000172
// CHECK:STDOUT:       12:              inst60000173
// CHECK:STDOUT:       13:              inst60000174
// CHECK:STDOUT:       14:              inst60000175
// CHECK:STDOUT:       15:              inst60000176
// CHECK:STDOUT:     inst_block60000018:
// CHECK:STDOUT:       0:               inst60000047
// CHECK:STDOUT:       1:               inst60000048
// CHECK:STDOUT:     inst_block60000019:
// CHECK:STDOUT:       0:               inst60000053
// CHECK:STDOUT:     inst_block6000001A:
// CHECK:STDOUT:       0:               inst6000005F
// CHECK:STDOUT:     inst_block6000001B:
// CHECK:STDOUT:       0:               inst6000005D
// CHECK:STDOUT:     inst_block6000001C:
// CHECK:STDOUT:       0:               inst60000063
// CHECK:STDOUT:     inst_block6000001D:
// CHECK:STDOUT:       0:               inst60000064
// CHECK:STDOUT:       1:               inst60000065
// CHECK:STDOUT:       2:               inst60000066
// CHECK:STDOUT:       3:               inst60000067
// CHECK:STDOUT:     inst_block6000001E:
// CHECK:STDOUT:       0:               inst60000050
// CHECK:STDOUT:     inst_block6000001F:
// CHECK:STDOUT:       0:               inst60000050
// CHECK:STDOUT:       1:               inst6000005A
// CHECK:STDOUT:       2:               inst6000005B
// CHECK:STDOUT:       3:               inst60000060
// CHECK:STDOUT:     inst_block60000020:
// CHECK:STDOUT:       0:               inst6000006E
// CHECK:STDOUT:     inst_block60000021:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:     inst_block60000022:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst6000006C
// CHECK:STDOUT:       2:               inst6000006D
// CHECK:STDOUT:       3:               inst60000070
// CHECK:STDOUT:     inst_block60000023:
// CHECK:STDOUT:       0:               inst60000072
// CHECK:STDOUT:       1:               inst60000073
// CHECK:STDOUT:     inst_block60000024:
// CHECK:STDOUT:       0:               inst60000078
// CHECK:STDOUT:     inst_block60000025:
// CHECK:STDOUT:       0:               inst60000076
// CHECK:STDOUT:     inst_block60000026:
// CHECK:STDOUT:       0:               inst6000007C
// CHECK:STDOUT:     inst_block60000027:
// CHECK:STDOUT:       0:               inst6000007D
// CHECK:STDOUT:       1:               inst6000007E
// CHECK:STDOUT:       2:               inst6000007F
// CHECK:STDOUT:       3:               inst60000080
// CHECK:STDOUT:       4:               inst60000081
// CHECK:STDOUT:     inst_block60000028:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst6000006C
// CHECK:STDOUT:       2:               inst60000087
// CHECK:STDOUT:       3:               inst60000086
// CHECK:STDOUT:     inst_block60000029:
// CHECK:STDOUT:       0:               inst6000007D
// CHECK:STDOUT:     inst_block6000002A:
// CHECK:STDOUT:       0:               inst6000008A
// CHECK:STDOUT:       1:               inst6000008B
// CHECK:STDOUT:       2:               inst6000008C
// CHECK:STDOUT:       3:               inst6000008D
// CHECK:STDOUT:       4:               inst6000008E
// CHECK:STDOUT:       5:               inst6000008F
// CHECK:STDOUT:     inst_block6000002B:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst6000006C
// CHECK:STDOUT:       2:               inst6000006D
// CHECK:STDOUT:       3:               inst60000074
// CHECK:STDOUT:       4:               inst60000079
// CHECK:STDOUT:     inst_block6000002C:
// CHECK:STDOUT:       0:               inst60000091
// CHECK:STDOUT:     inst_block6000002D:
// CHECK:STDOUT:       0:               inst60000094
// CHECK:STDOUT:     inst_block6000002E:
// CHECK:STDOUT:       0:               inst60000095
// CHECK:STDOUT:     inst_block6000002F:
// CHECK:STDOUT:       0:               inst60000095
// CHECK:STDOUT:       1:               inst60000096
// CHECK:STDOUT:       2:               inst60000097
// CHECK:STDOUT:       3:               inst60000098
// CHECK:STDOUT:     inst_block60000030:
// CHECK:STDOUT:       0:               inst60000095
// CHECK:STDOUT:     inst_block60000031:
// CHECK:STDOUT:       0:               inst60000099
// CHECK:STDOUT:       1:               inst6000009A
// CHECK:STDOUT:     inst_block60000032:
// CHECK:STDOUT:       0:               inst600000AD
// CHECK:STDOUT:     inst_block60000033:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst600000AF
// CHECK:STDOUT:     inst_block60000034:
// CHECK:STDOUT:       0:               inst600000B0
// CHECK:STDOUT:     inst_block60000035:
// CHECK:STDOUT:       0:               inst600000B3
// CHECK:STDOUT:     inst_block60000036:
// CHECK:STDOUT:       0:               inst600000B4
// CHECK:STDOUT:     inst_block60000037:
// CHECK:STDOUT:       0:               inst600000B4
// CHECK:STDOUT:       1:               inst600000B5
// CHECK:STDOUT:       2:               inst600000B6
// CHECK:STDOUT:     inst_block60000038:
// CHECK:STDOUT:       0:               inst600000BD
// CHECK:STDOUT:     inst_block60000039:
// CHECK:STDOUT:       0:               inst600000BB
// CHECK:STDOUT:     inst_block6000003A:
// CHECK:STDOUT:       0:               inst600000C1
// CHECK:STDOUT:     inst_block6000003B:
// CHECK:STDOUT:       0:               inst600000C2
// CHECK:STDOUT:       1:               inst600000C3
// CHECK:STDOUT:       2:               inst600000C4
// CHECK:STDOUT:       3:               inst600000C5
// CHECK:STDOUT:     inst_block6000003C:
// CHECK:STDOUT:       0:               inst60000016
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst6000001F
// CHECK:STDOUT:       3:               inst600000BE
// CHECK:STDOUT:     inst_block6000003D:
// CHECK:STDOUT:       0:               inst600000B4
// CHECK:STDOUT:     inst_block6000003E:
// CHECK:STDOUT:       0:               inst600000C6
// CHECK:STDOUT:       1:               inst600000C7
// CHECK:STDOUT:       2:               inst600000C8
// CHECK:STDOUT:     inst_block6000003F:
// CHECK:STDOUT:       0:               inst6000006C
// CHECK:STDOUT:       1:               inst600000D4
// CHECK:STDOUT:     inst_block60000040:
// CHECK:STDOUT:       0:               inst600000D6
// CHECK:STDOUT:     inst_block60000041:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst600000D3
// CHECK:STDOUT:     inst_block60000042:
// CHECK:STDOUT:       0:               inst6000004F
// CHECK:STDOUT:       1:               inst6000004F
// CHECK:STDOUT:     inst_block60000043:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst600000D3
// CHECK:STDOUT:       2:               inst600000DD
// CHECK:STDOUT:       3:               inst6000006C
// CHECK:STDOUT:       4:               inst600000D4
// CHECK:STDOUT:       5:               inst600000D5
// CHECK:STDOUT:       6:               inst600000D8
// CHECK:STDOUT:     inst_block60000044:
// CHECK:STDOUT:       0:               inst600000DA
// CHECK:STDOUT:       1:               inst600000DB
// CHECK:STDOUT:     inst_block60000045:
// CHECK:STDOUT:       0:               inst600000E2
// CHECK:STDOUT:     inst_block60000046:
// CHECK:STDOUT:       0:               inst600000E0
// CHECK:STDOUT:     inst_block60000047:
// CHECK:STDOUT:       0:               inst600000E6
// CHECK:STDOUT:       1:               inst600000E7
// CHECK:STDOUT:     inst_block60000048:
// CHECK:STDOUT:       0:               inst600000E9
// CHECK:STDOUT:       1:               inst600000EB
// CHECK:STDOUT:     inst_block60000049:
// CHECK:STDOUT:       0:               inst600000E8
// CHECK:STDOUT:       1:               inst600000E9
// CHECK:STDOUT:       2:               inst600000EA
// CHECK:STDOUT:       3:               inst600000EB
// CHECK:STDOUT:       4:               inst600000EC
// CHECK:STDOUT:       5:               inst600000ED
// CHECK:STDOUT:       6:               inst600000EE
// CHECK:STDOUT:     inst_block6000004A:
// CHECK:STDOUT:       0:               inst600000D3
// CHECK:STDOUT:     inst_block6000004B:
// CHECK:STDOUT:       0:               inst600000D3
// CHECK:STDOUT:       1:               inst600000D4
// CHECK:STDOUT:       2:               inst600000F4
// CHECK:STDOUT:       3:               inst600000F3
// CHECK:STDOUT:     inst_block6000004C:
// CHECK:STDOUT:       0:               inst600000E8
// CHECK:STDOUT:     inst_block6000004D:
// CHECK:STDOUT:       0:               inst600000EA
// CHECK:STDOUT:     inst_block6000004E:
// CHECK:STDOUT:       0:               inst600000F7
// CHECK:STDOUT:       1:               inst600000F8
// CHECK:STDOUT:       2:               inst600000F9
// CHECK:STDOUT:       3:               inst600000FA
// CHECK:STDOUT:       4:               inst600000FB
// CHECK:STDOUT:       5:               inst600000FC
// CHECK:STDOUT:       6:               inst600000FD
// CHECK:STDOUT:       7:               inst600000FE
// CHECK:STDOUT:       8:               inst600000FF
// CHECK:STDOUT:       9:               inst60000100
// CHECK:STDOUT:       10:              inst60000101
// CHECK:STDOUT:     inst_block6000004F:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst6000006C
// CHECK:STDOUT:       2:               inst600000D3
// CHECK:STDOUT:       3:               inst600000D4
// CHECK:STDOUT:       4:               inst600000D5
// CHECK:STDOUT:       5:               inst600000DE
// CHECK:STDOUT:       6:               inst600000E3
// CHECK:STDOUT:     inst_block60000050:
// CHECK:STDOUT:       0:               inst60000103
// CHECK:STDOUT:       1:               inst60000102
// CHECK:STDOUT:     inst_block60000051:
// CHECK:STDOUT:       0:               inst60000106
// CHECK:STDOUT:       1:               inst60000107
// CHECK:STDOUT:     inst_block60000052:
// CHECK:STDOUT:       0:               inst60000108
// CHECK:STDOUT:       1:               inst60000109
// CHECK:STDOUT:     inst_block60000053:
// CHECK:STDOUT:       0:               inst6000010B
// CHECK:STDOUT:       1:               inst6000010C
// CHECK:STDOUT:     inst_block60000054:
// CHECK:STDOUT:       0:               inst60000108
// CHECK:STDOUT:       1:               inst60000109
// CHECK:STDOUT:     inst_block60000055:
// CHECK:STDOUT:       0:               inst60000108
// CHECK:STDOUT:       1:               inst60000109
// CHECK:STDOUT:       2:               inst6000010A
// CHECK:STDOUT:       3:               inst6000010B
// CHECK:STDOUT:       4:               inst6000010C
// CHECK:STDOUT:       5:               inst6000010D
// CHECK:STDOUT:       6:               inst6000010E
// CHECK:STDOUT:     inst_block60000056:
// CHECK:STDOUT:       0:               inst60000108
// CHECK:STDOUT:       1:               inst60000109
// CHECK:STDOUT:     inst_block60000057:
// CHECK:STDOUT:       0:               inst6000010F
// CHECK:STDOUT:       1:               inst60000110
// CHECK:STDOUT:     inst_block60000058:
// CHECK:STDOUT:       0:               inst6000006C
// CHECK:STDOUT:       1:               inst600000D4
// CHECK:STDOUT:       2:               inst60000114
// CHECK:STDOUT:     inst_block60000059:
// CHECK:STDOUT:       0:               inst60000116
// CHECK:STDOUT:     inst_block6000005A:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst600000D3
// CHECK:STDOUT:       2:               inst60000113
// CHECK:STDOUT:     inst_block6000005B:
// CHECK:STDOUT:       0:               inst6000004F
// CHECK:STDOUT:       1:               inst6000004F
// CHECK:STDOUT:       2:               inst6000004F
// CHECK:STDOUT:     inst_block6000005C:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst600000D3
// CHECK:STDOUT:       2:               inst60000113
// CHECK:STDOUT:       3:               inst6000011D
// CHECK:STDOUT:       4:               inst6000006C
// CHECK:STDOUT:       5:               inst600000D4
// CHECK:STDOUT:       6:               inst60000114
// CHECK:STDOUT:       7:               inst60000115
// CHECK:STDOUT:       8:               inst60000118
// CHECK:STDOUT:     inst_block6000005D:
// CHECK:STDOUT:       0:               inst6000011A
// CHECK:STDOUT:       1:               inst6000011B
// CHECK:STDOUT:     inst_block6000005E:
// CHECK:STDOUT:       0:               inst60000122
// CHECK:STDOUT:     inst_block6000005F:
// CHECK:STDOUT:       0:               inst60000120
// CHECK:STDOUT:     inst_block60000060:
// CHECK:STDOUT:       0:               inst60000126
// CHECK:STDOUT:       1:               inst60000127
// CHECK:STDOUT:       2:               inst60000128
// CHECK:STDOUT:     inst_block60000061:
// CHECK:STDOUT:       0:               inst6000012A
// CHECK:STDOUT:       1:               inst6000012C
// CHECK:STDOUT:       2:               inst6000012E
// CHECK:STDOUT:     inst_block60000062:
// CHECK:STDOUT:       0:               inst60000129
// CHECK:STDOUT:       1:               inst6000012A
// CHECK:STDOUT:       2:               inst6000012B
// CHECK:STDOUT:       3:               inst6000012C
// CHECK:STDOUT:       4:               inst6000012D
// CHECK:STDOUT:       5:               inst6000012E
// CHECK:STDOUT:       6:               inst6000012F
// CHECK:STDOUT:       7:               inst60000130
// CHECK:STDOUT:       8:               inst60000131
// CHECK:STDOUT:     inst_block60000063:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:     inst_block60000064:
// CHECK:STDOUT:       0:               inst60000113
// CHECK:STDOUT:       1:               inst60000114
// CHECK:STDOUT:       2:               inst60000137
// CHECK:STDOUT:       3:               inst60000136
// CHECK:STDOUT:     inst_block60000065:
// CHECK:STDOUT:       0:               inst60000129
// CHECK:STDOUT:     inst_block60000066:
// CHECK:STDOUT:       0:               inst6000012B
// CHECK:STDOUT:     inst_block60000067:
// CHECK:STDOUT:       0:               inst6000012D
// CHECK:STDOUT:     inst_block60000068:
// CHECK:STDOUT:       0:               inst6000013A
// CHECK:STDOUT:       1:               inst6000013B
// CHECK:STDOUT:       2:               inst6000013C
// CHECK:STDOUT:       3:               inst6000013D
// CHECK:STDOUT:       4:               inst6000013E
// CHECK:STDOUT:       5:               inst6000013F
// CHECK:STDOUT:       6:               inst60000140
// CHECK:STDOUT:       7:               inst60000141
// CHECK:STDOUT:       8:               inst60000142
// CHECK:STDOUT:       9:               inst60000143
// CHECK:STDOUT:       10:              inst60000144
// CHECK:STDOUT:       11:              inst60000145
// CHECK:STDOUT:       12:              inst60000146
// CHECK:STDOUT:       13:              inst60000147
// CHECK:STDOUT:       14:              inst60000148
// CHECK:STDOUT:       15:              inst60000149
// CHECK:STDOUT:     inst_block60000069:
// CHECK:STDOUT:       0:               inst6000006B
// CHECK:STDOUT:       1:               inst6000006C
// CHECK:STDOUT:       2:               inst600000D3
// CHECK:STDOUT:       3:               inst600000D4
// CHECK:STDOUT:       4:               inst60000113
// CHECK:STDOUT:       5:               inst60000114
// CHECK:STDOUT:       6:               inst60000115
// CHECK:STDOUT:       7:               inst6000011E
// CHECK:STDOUT:       8:               inst60000123
// CHECK:STDOUT:     inst_block6000006A:
// CHECK:STDOUT:       0:               inst6000014C
// CHECK:STDOUT:       1:               inst6000014B
// CHECK:STDOUT:       2:               inst6000014A
// CHECK:STDOUT:     inst_block6000006B:
// CHECK:STDOUT:       0:               inst6000014F
// CHECK:STDOUT:       1:               inst60000150
// CHECK:STDOUT:       2:               inst60000151
// CHECK:STDOUT:     inst_block6000006C:
// CHECK:STDOUT:       0:               inst60000152
// CHECK:STDOUT:       1:               inst60000153
// CHECK:STDOUT:       2:               inst60000154
// CHECK:STDOUT:     inst_block6000006D:
// CHECK:STDOUT:       0:               inst60000156
// CHECK:STDOUT:       1:               inst60000157
// CHECK:STDOUT:       2:               inst60000158
// CHECK:STDOUT:     inst_block6000006E:
// CHECK:STDOUT:       0:               inst60000152
// CHECK:STDOUT:       1:               inst60000153
// CHECK:STDOUT:       2:               inst60000154
// CHECK:STDOUT:     inst_block6000006F:
// CHECK:STDOUT:       0:               inst60000152
// CHECK:STDOUT:       1:               inst60000153
// CHECK:STDOUT:       2:               inst60000154
// CHECK:STDOUT:       3:               inst60000155
// CHECK:STDOUT:       4:               inst60000156
// CHECK:STDOUT:       5:               inst60000157
// CHECK:STDOUT:       6:               inst60000158
// CHECK:STDOUT:       7:               inst60000159
// CHECK:STDOUT:       8:               inst6000015A
// CHECK:STDOUT:     inst_block60000070:
// CHECK:STDOUT:       0:               inst60000152
// CHECK:STDOUT:       1:               inst60000153
// CHECK:STDOUT:       2:               inst60000154
// CHECK:STDOUT:     inst_block60000071:
// CHECK:STDOUT:       0:               inst6000015B
// CHECK:STDOUT:       1:               inst6000015C
// CHECK:STDOUT:     inst_block60000072:
// CHECK:STDOUT:       0:               inst600000B8
// CHECK:STDOUT:       1:               inst600000B9
// CHECK:STDOUT:       2:               inst60000044
// CHECK:STDOUT:     inst_block60000073:
// CHECK:STDOUT:       0:               inst60000017
// CHECK:STDOUT:     inst_block60000074:
// CHECK:STDOUT:       0:               inst60000160
// CHECK:STDOUT:     inst_block60000075:
// CHECK:STDOUT:       0:               inst60000161
// CHECK:STDOUT:     inst_block60000076:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:     inst_block60000077:
// CHECK:STDOUT:       0:               inst60000162
// CHECK:STDOUT:       1:               inst6000001C
// CHECK:STDOUT:       2:               inst6000001F
// CHECK:STDOUT:       3:               inst600000BE
// CHECK:STDOUT:     inst_block60000078:
// CHECK:STDOUT:       0:               inst60000166
// CHECK:STDOUT:     inst_block60000079:
// CHECK:STDOUT:       0:               inst60000047
// CHECK:STDOUT:     inst_block6000007A:
// CHECK:STDOUT:       0:               inst60000170
// CHECK:STDOUT:       1:               inst60000173
// CHECK:STDOUT:     inst_block6000007B:
// CHECK:STDOUT:       0:               inst60000042
// CHECK:STDOUT:       1:               inst60000045
// CHECK:STDOUT:       2:               inst6000015F
// CHECK:STDOUT:       3:               inst60000161
// CHECK:STDOUT:       4:               inst60000166
// CHECK:STDOUT:       5:               inst60000167
// CHECK:STDOUT:       6:               inst60000168
// CHECK:STDOUT:       7:               inst6000016C
// CHECK:STDOUT:     inst_block6000007C:
// CHECK:STDOUT:       0:               instF
// CHECK:STDOUT:       1:               inst60000010
// CHECK:STDOUT:       2:               inst6000003C
// CHECK:STDOUT: ...