.assembly extern mscorlib { }
.assembly extern mgnat { 
.publickey = (00 24 00 00 04 80 00 00 94 00 00 00 06 02 00 00
      00 24 00 00 52 53 41 31 00 04 00 00 01 00 01 00 
      DB E3 8D 03 7C 12 B3 CA F3 4F 5A AD B6 85 BC 0F 
      41 91 1D 45 0A 03 19 AD BE 89 71 D9 1A 8C F7 F4 
      45 7A 6C 6A 13 77 59 B1 E5 BB 65 F6 03 98 B8 97 
      AB 49 B6 E0 52 EA E7 45 89 69 97 94 25 13 E9 4D 
      CA 52 B5 ED 0E 37 DB 12 B0 B6 EE 43 CB AE 6C 38 
      99 42 07 69 97 F3 17 FA D8 29 1C 49 FA 6E 62 83 
      C9 05 0D 53 2E D9 E0 94 2D 68 DB B1 5E 22 68 52 
      14 D0 A6 A4 E9 52 C3 C1 DA 42 72 7F 22 B5 12 C0 )
.ver 0:0:0:0
 }
.assembly extern mgnatcs { 
.publickey = (00 24 00 00 04 80 00 00 94 00 00 00 06 02 00 00
      00 24 00 00 52 53 41 31 00 04 00 00 01 00 01 00 
      DB E3 8D 03 7C 12 B3 CA F3 4F 5A AD B6 85 BC 0F 
      41 91 1D 45 0A 03 19 AD BE 89 71 D9 1A 8C F7 F4 
      45 7A 6C 6A 13 77 59 B1 E5 BB 65 F6 03 98 B8 97 
      AB 49 B6 E0 52 EA E7 45 89 69 97 94 25 13 E9 4D 
      CA 52 B5 ED 0E 37 DB 12 B0 B6 EE 43 CB AE 6C 38 
      99 42 07 69 97 F3 17 FA D8 29 1C 49 FA 6E 62 83 
      C9 05 0D 53 2E D9 E0 94 2D 68 DB B1 5E 22 68 52 
      14 D0 A6 A4 E9 52 C3 C1 DA 42 72 7F 22 B5 12 C0 )
.ver 0:0:0:0
 }
.assembly hello_dotnet { .ver 0:0:0:0 }
.class public sealed serializable ada_hello_dotnet_pkg
   extends [mscorlib]System.Object {
   .language '{DC5FBC71-139A-4072-826F-E87E4E42CD5F}'
   .field public static int32 hello_dotnetB
   .field public static int32 system__standard_libraryB
   .field public static int32 system__standard_libraryS
   .field public static int32 adaS
   .field public static int32 ada__text_ioB
   .field public static int32 ada__text_ioS
   .field public static int32 ada__streamsS
   .field public static int32 ada__tagsB
   .field public static int32 ada__tagsS
   .field public static int32 ada__exceptionsB
   .field public static int32 ada__exceptionsS
   .field public static int32 systemS
   .field public static int32 system__secondary_stackB
   .field public static int32 system__secondary_stackS
   .field public static int32 system__soft_linksB
   .field public static int32 system__soft_linksS
   .field public static int32 system__parametersB
   .field public static int32 system__parametersS
   .field public static int32 system__stack_checkingB
   .field public static int32 system__stack_checkingS
   .field public static int32 system__storage_elementsB
   .field public static int32 system__storage_elementsS
   .field public static int32 interfacesS
   .field public static int32 interfaces__c_streamsB
   .field public static int32 interfaces__c_streamsS
   .field public static int32 system__file_ioB
   .field public static int32 system__file_ioS
   .field public static int32 ada__finalizationB
   .field public static int32 ada__finalizationS
   .field public static int32 system__finalization_rootB
   .field public static int32 system__finalization_rootS
   .field public static int32 system__stream_attributesB
   .field public static int32 system__stream_attributesS
   .field public static int32 ada__io_exceptionsS
   .field public static int32 system__unsigned_typesS
   .field public static int32 system__finalization_implementationB
   .field public static int32 system__finalization_implementationS
   .field public static int32 system__file_control_blockS
   .field public static int32 ada__finalization__list_controllerB
   .field public static int32 ada__finalization__list_controllerS
   .method public specialname instance void .ctor() { 
      .maxstack  1
      ldarg 0
      call instance void [mscorlib]System.Object::.ctor()
      ret
   }
   .method public static void .cctor() { 
      .maxstack  0
      ret
   }
   .method public static void _elabs() { 
      .maxstack  1
      .line 12 'b~hello_dotnet.ads'
   L1:
      ldc.i4 -202295628
      stsfld int32 ada_hello_dotnet_pkg::hello_dotnetB
      .line 13 'b~hello_dotnet.ads'
   L8:
      ldc.i4 1305379859
      stsfld int32 ada_hello_dotnet_pkg::system__standard_libraryB
      .line 14 'b~hello_dotnet.ads'
   L9:
      ldc.i4 -1233458481
      stsfld int32 ada_hello_dotnet_pkg::system__standard_libraryS
      .line 15 'b~hello_dotnet.ads'
   L10:
      ldc.i4 -1609531261
      stsfld int32 ada_hello_dotnet_pkg::adaS
      .line 16 'b~hello_dotnet.ads'
   L11:
      ldc.i4 -1509787629
      stsfld int32 ada_hello_dotnet_pkg::ada__text_ioB
      .line 17 'b~hello_dotnet.ads'
   L12:
      ldc.i4 -224072471
      stsfld int32 ada_hello_dotnet_pkg::ada__text_ioS
      .line 18 'b~hello_dotnet.ads'
   L13:
      ldc.i4 821380724
      stsfld int32 ada_hello_dotnet_pkg::ada__streamsS
      .line 19 'b~hello_dotnet.ads'
   L14:
      ldc.i4 -468227144
      stsfld int32 ada_hello_dotnet_pkg::ada__tagsB
      .line 20 'b~hello_dotnet.ads'
   L15:
      ldc.i4 -502614121
      stsfld int32 ada_hello_dotnet_pkg::ada__tagsS
      .line 21 'b~hello_dotnet.ads'
   L16:
      ldc.i4 -1965169276
      stsfld int32 ada_hello_dotnet_pkg::ada__exceptionsB
      .line 22 'b~hello_dotnet.ads'
   L17:
      ldc.i4 -1209057764
      stsfld int32 ada_hello_dotnet_pkg::ada__exceptionsS
      .line 23 'b~hello_dotnet.ads'
   L18:
      ldc.i4 -1679197585
      stsfld int32 ada_hello_dotnet_pkg::systemS
      .line 24 'b~hello_dotnet.ads'
   L19:
      ldc.i4 -984309678
      stsfld int32 ada_hello_dotnet_pkg::system__secondary_stackB
      .line 25 'b~hello_dotnet.ads'
   L20:
      ldc.i4 823467776
      stsfld int32 ada_hello_dotnet_pkg::system__secondary_stackS
      .line 26 'b~hello_dotnet.ads'
   L21:
      ldc.i4 -371878373
      stsfld int32 ada_hello_dotnet_pkg::system__soft_linksB
      .line 27 'b~hello_dotnet.ads'
   L22:
      ldc.i4 1279477468
      stsfld int32 ada_hello_dotnet_pkg::system__soft_linksS
      .line 28 'b~hello_dotnet.ads'
   L23:
      ldc.i4 -1984243852
      stsfld int32 ada_hello_dotnet_pkg::system__parametersB
      .line 29 'b~hello_dotnet.ads'
   L24:
      ldc.i4 -1405796117
      stsfld int32 ada_hello_dotnet_pkg::system__parametersS
      .line 30 'b~hello_dotnet.ads'
   L25:
      ldc.i4 514414975
      stsfld int32 ada_hello_dotnet_pkg::system__stack_checkingB
      .line 31 'b~hello_dotnet.ads'
   L26:
      ldc.i4 -1819406468
      stsfld int32 ada_hello_dotnet_pkg::system__stack_checkingS
      .line 32 'b~hello_dotnet.ads'
   L27:
      ldc.i4 1657362882
      stsfld int32 ada_hello_dotnet_pkg::system__storage_elementsB
      .line 33 'b~hello_dotnet.ads'
   L28:
      ldc.i4 1566018242
      stsfld int32 ada_hello_dotnet_pkg::system__storage_elementsS
      .line 34 'b~hello_dotnet.ads'
   L29:
      ldc.i4 1854250406
      stsfld int32 ada_hello_dotnet_pkg::interfacesS
      .line 35 'b~hello_dotnet.ads'
   L30:
      ldc.i4 -389373177
      stsfld int32 ada_hello_dotnet_pkg::interfaces__c_streamsB
      .line 36 'b~hello_dotnet.ads'
   L31:
      ldc.i4 -1500237081
      stsfld int32 ada_hello_dotnet_pkg::interfaces__c_streamsS
      .line 37 'b~hello_dotnet.ads'
   L32:
      ldc.i4 1585409597
      stsfld int32 ada_hello_dotnet_pkg::system__file_ioB
      .line 38 'b~hello_dotnet.ads'
   L33:
      ldc.i4 -492258116
      stsfld int32 ada_hello_dotnet_pkg::system__file_ioS
      .line 39 'b~hello_dotnet.ads'
   L34:
      ldc.i4 538517224
      stsfld int32 ada_hello_dotnet_pkg::ada__finalizationB
      .line 40 'b~hello_dotnet.ads'
   L35:
      ldc.i4 582288824
      stsfld int32 ada_hello_dotnet_pkg::ada__finalizationS
      .line 41 'b~hello_dotnet.ads'
   L36:
      ldc.i4 886846065
      stsfld int32 ada_hello_dotnet_pkg::system__finalization_rootB
      .line 42 'b~hello_dotnet.ads'
   L37:
      ldc.i4 -839724589
      stsfld int32 ada_hello_dotnet_pkg::system__finalization_rootS
      .line 43 'b~hello_dotnet.ads'
   L38:
      ldc.i4 -1834427139
      stsfld int32 ada_hello_dotnet_pkg::system__stream_attributesB
      .line 44 'b~hello_dotnet.ads'
   L39:
      ldc.i4 177700420
      stsfld int32 ada_hello_dotnet_pkg::system__stream_attributesS
      .line 45 'b~hello_dotnet.ads'
   L40:
      ldc.i4 1967034889
      stsfld int32 ada_hello_dotnet_pkg::ada__io_exceptionsS
      .line 46 'b~hello_dotnet.ads'
   L41:
      ldc.i4 -1639690915
      stsfld int32 ada_hello_dotnet_pkg::system__unsigned_typesS
      .line 47 'b~hello_dotnet.ads'
   L42:
      ldc.i4 365810153
      stsfld int32 ada_hello_dotnet_pkg::system__finalization_implementationB
      .line 48 'b~hello_dotnet.ads'
   L43:
      ldc.i4 168516619
      stsfld int32 ada_hello_dotnet_pkg::system__finalization_implementationS
      .line 49 'b~hello_dotnet.ads'
   L44:
      ldc.i4 1611867891
      stsfld int32 ada_hello_dotnet_pkg::system__file_control_blockS
      .line 50 'b~hello_dotnet.ads'
   L45:
      ldc.i4 1492380017
      stsfld int32 ada_hello_dotnet_pkg::ada__finalization__list_controllerB
      .line 51 'b~hello_dotnet.ads'
   L46:
      ldc.i4 27263867
      stsfld int32 ada_hello_dotnet_pkg::ada__finalization__list_controllerS
      .line 92 'b~hello_dotnet.ads'
   L47:
      ret
   }
   .method public static void adafinal() { 
      .maxstack  1
      .locals init([0]class [mscorlib]System.Exception _exc_var)
      .line 211 'b~hello_dotnet.adb'
   L384:
      ret
   L386:
      newobj  instance void [mgnatcs]mgnat.adalib.program_error::.ctor()
      throw
   }
   .method public static void adainit() { 
      .maxstack  10
      .locals init([0]bool e004,
      [1]bool e034,
      [2]bool e023,
      [3]bool e012,
      [4]bool e011,
      [5]bool e009,
      [6]bool e007,
      [7]bool e018,
      [8]bool e025,
      [9]bool e014,
      [10]bool e003,
      [11]bool e022,
      [12]bool e020,
      [13]bool e016,
      [14]bool e035,
      [15]bool e033,
      [16]bool e031,
      [17]bool e037,
      [18]bool e029,
      [19]bool e040,
      [20]bool e038,
      [21]bool e027,
      [22]bool e006,
      [23]unsigned int8[] restrictions,
      [24]unsigned int8[] _arr_tmp,
      [25]unsigned int8[] _str_literal,
      [26]int32 _duptmp1,
      [27]int32 _duptmp2,
      [28]class [mscorlib]System.Exception _exc_var)
      .line 6 'b~hello_dotnet.adb'
   L88:
      ldc.i4.0
      stloc 0
      .line 7 'b~hello_dotnet.adb'
   L89:
      ldc.i4.0
      stloc 1
      .line 8 'b~hello_dotnet.adb'
   L90:
      ldc.i4.0
      stloc 2
      .line 9 'b~hello_dotnet.adb'
   L91:
      ldc.i4.0
      stloc 3
      .line 10 'b~hello_dotnet.adb'
   L92:
      ldc.i4.0
      stloc 4
      .line 11 'b~hello_dotnet.adb'
   L93:
      ldc.i4.0
      stloc 5
      .line 12 'b~hello_dotnet.adb'
   L94:
      ldc.i4.0
      stloc 6
      .line 13 'b~hello_dotnet.adb'
   L95:
      ldc.i4.0
      stloc 7
      .line 14 'b~hello_dotnet.adb'
   L96:
      ldc.i4.0
      stloc 8
      .line 15 'b~hello_dotnet.adb'
   L97:
      ldc.i4.0
      stloc 9
      .line 16 'b~hello_dotnet.adb'
   L98:
      ldc.i4.0
      stloc 10
      .line 17 'b~hello_dotnet.adb'
   L99:
      ldc.i4.0
      stloc 11
      .line 18 'b~hello_dotnet.adb'
   L100:
      ldc.i4.0
      stloc 12
      .line 19 'b~hello_dotnet.adb'
   L101:
      ldc.i4.0
      stloc 13
      .line 20 'b~hello_dotnet.adb'
   L102:
      ldc.i4.0
      stloc 14
      .line 21 'b~hello_dotnet.adb'
   L103:
      ldc.i4.0
      stloc 15
      .line 22 'b~hello_dotnet.adb'
   L104:
      ldc.i4.0
      stloc 16
      .line 23 'b~hello_dotnet.adb'
   L105:
      ldc.i4.0
      stloc 17
      .line 24 'b~hello_dotnet.adb'
   L106:
      ldc.i4.0
      stloc 18
      .line 25 'b~hello_dotnet.adb'
   L107:
      ldc.i4.0
      stloc 19
      .line 26 'b~hello_dotnet.adb'
   L108:
      ldc.i4.0
      stloc 20
      .line 27 'b~hello_dotnet.adb'
   L109:
      ldc.i4.0
      stloc 21
      .line 28 'b~hello_dotnet.adb'
   L110:
      ldc.i4.0
      stloc 22
      .line 30 'b~hello_dotnet.adb'
   L111:
      ldc.i4.s  52
      newarr unsigned int8
      stloc 25
      ldstr "nnvvnnnvnnnnnvvvvvvnnnvnvnnnnnnnnvvnnnnnnvvvnnnnvvnn"
      ldc.i4.0
      ldc.i4.s  52
      ldloc 25
      ldc.i4.0
      call void [mgnatcs]mgnat.adalib.GNAT_libc::getBytes(class [mscorlib]System.String, int32, int32, unsigned int8[], int32)
      ldloc 25
      dup
      ldlen
      ldc.i4.0
      stloc 26
      stloc 27
      ldloc 26
      ldloc 27
      newarr unsigned int8
      dup
      stloc 24
      ldc.i4.0
      ldloc 24
      ldlen
      call void [mscorlib]System.Array::Copy(class [mscorlib]System.Array, int32, class [mscorlib]System.Array, int32, int32)
      ldloc 24
      stloc 23
      .line 52 'b~hello_dotnet.adb'
   L113:
      ldc.i4.m1
      ldc.i4.m1
      ldc.i4.s  98
      ldc.i4.s  32
      ldc.i4.s  32
      ldc.i4.s  32
      ldloc 23
      ldc.i4.0
      ldc.i4.0
      ldc.i4.0
      call void [mgnatcs]mgnat.adalib.GNAT_libc::__gnat_set_globals(int32, int32, unsigned int8, unsigned int8, unsigned int8, unsigned int8, native int, int32, int32, int32)
      .line 64 'b~hello_dotnet.adb'
   L120:
      ldsfld int32 [mgnatcs]mgnat.adalib.GNAT_libc::__gnat_handler_installed
      ldc.i4.0
      bne.un L121
      .line 65 'b~hello_dotnet.adb'
   L123:
      call void [mgnatcs]mgnat.adalib.GNAT_libc::__gnat_install_handler()
   L121:
      .line 67 'b~hello_dotnet.adb'
   L124:
      ldloc 0
      ldc.i4.1
      xor
      ldc.i4.0
      beq L125
      .line 68 'b~hello_dotnet.adb'
   L127:
      call void [mgnat]ada_pkg::_elabs()
      .line 69 'b~hello_dotnet.adb'
   L130:
      ldc.i4.1
      stloc 0
   L125:
      .line 71 'b~hello_dotnet.adb'
   L131:
      ldloc 1
      ldc.i4.1
      xor
      ldc.i4.0
      beq L132
      .line 72 'b~hello_dotnet.adb'
   L134:
      call void [mgnat]ada.io_exceptions_pkg::_elabs()
      .line 73 'b~hello_dotnet.adb'
   L137:
      ldc.i4.1
      stloc 1
   L132:
      .line 75 'b~hello_dotnet.adb'
   L138:
      ldloc 2
      ldc.i4.1
      xor
      ldc.i4.0
      beq L139
      .line 76 'b~hello_dotnet.adb'
   L141:
      call void [mgnat]interfaces_pkg::_elabs()
      .line 77 'b~hello_dotnet.adb'
   L144:
      ldc.i4.1
      stloc 2
   L139:
      .line 79 'b~hello_dotnet.adb'
   L145:
      ldloc 3
      ldc.i4.1
      xor
      ldc.i4.0
      beq L146
      .line 80 'b~hello_dotnet.adb'
   L148:
      call void [mgnat]system_pkg::_elabs()
      .line 81 'b~hello_dotnet.adb'
   L151:
      ldc.i4.1
      stloc 3
   L146:
      .line 83 'b~hello_dotnet.adb'
   L152:
      ldloc 4
      ldc.i4.1
      xor
      ldc.i4.0
      beq L153
      .line 84 'b~hello_dotnet.adb'
   L155:
      call void [mgnat]ada.exceptions_pkg::_elabs()
   L153:
      .line 86 'b~hello_dotnet.adb'
   L158:
      ldloc 5
      ldc.i4.1
      xor
      ldc.i4.0
      beq L159
      .line 87 'b~hello_dotnet.adb'
   L161:
      call void [mgnat]ada.tags_pkg::_elabs()
   L159:
      .line 89 'b~hello_dotnet.adb'
   L164:
      ldloc 6
      ldc.i4.1
      xor
      ldc.i4.0
      beq L165
      .line 90 'b~hello_dotnet.adb'
   L167:
      call void [mgnat]ada.streams_pkg::_elabs()
      .line 91 'b~hello_dotnet.adb'
   L170:
      ldc.i4.1
      stloc 6
   L165:
      .line 93 'b~hello_dotnet.adb'
   L171:
      ldloc 7
      ldc.i4.1
      xor
      ldc.i4.0
      beq L172
      .line 94 'b~hello_dotnet.adb'
   L174:
      call void [mgnat]system.parameters_pkg::_elabs()
   L172:
      .line 96 'b~hello_dotnet.adb'
   L177:
      ldloc 7
      ldc.i4.1
      xor
      ldc.i4.0
      beq L178
      .line 97 'b~hello_dotnet.adb'
   L180:
      call void [mgnat]system.parameters_pkg::_elabb()
      .line 98 'b~hello_dotnet.adb'
   L183:
      ldc.i4.1
      stloc 7
   L178:
      .line 100 'b~hello_dotnet.adb'
   L184:
      ldloc 8
      ldc.i4.1
      xor
      ldc.i4.0
      beq L185
      .line 101 'b~hello_dotnet.adb'
   L187:
      call void [mgnat]interfaces.c_streams_pkg::_elabs()
   L185:
      .line 103 'b~hello_dotnet.adb'
   L190:
      ldloc 8
      ldc.i4.1
      xor
      ldc.i4.0
      beq L191
      .line 104 'b~hello_dotnet.adb'
   L193:
      call void [mgnat]interfaces.c_streams_pkg::_elabb()
      .line 105 'b~hello_dotnet.adb'
   L196:
      ldc.i4.1
      stloc 8
   L191:
      .line 107 'b~hello_dotnet.adb'
   L197:
      ldloc 9
      ldc.i4.1
      xor
      ldc.i4.0
      beq L198
      .line 108 'b~hello_dotnet.adb'
   L200:
      call void [mgnat]system.secondary_stack_pkg::_elabs()
   L198:
      .line 110 'b~hello_dotnet.adb'
   L203:
      ldloc 9
      ldc.i4.1
      xor
      ldc.i4.0
      beq L204
      .line 111 'b~hello_dotnet.adb'
   L206:
      call void [mgnat]system.secondary_stack_pkg::_elabb()
      .line 112 'b~hello_dotnet.adb'
   L209:
      ldc.i4.1
      stloc 9
   L204:
      .line 114 'b~hello_dotnet.adb'
   L210:
      ldloc 10
      ldc.i4.1
      xor
      ldc.i4.0
      beq L211
      .line 115 'b~hello_dotnet.adb'
   L213:
      call void [mgnat]system.standard_library_pkg::_elabs()
   L211:
      .line 117 'b~hello_dotnet.adb'
   L216:
      ldloc 11
      ldc.i4.1
      xor
      ldc.i4.0
      beq L217
      .line 118 'b~hello_dotnet.adb'
   L219:
      call void [mgnat]system.storage_elements_pkg::_elabs()
   L217:
      .line 120 'b~hello_dotnet.adb'
   L222:
      ldloc 11
      ldc.i4.1
      xor
      ldc.i4.0
      beq L223
      .line 121 'b~hello_dotnet.adb'
   L225:
      call void [mgnat]system.storage_elements_pkg::_elabb()
      .line 122 'b~hello_dotnet.adb'
   L228:
      ldc.i4.1
      stloc 11
   L223:
      .line 124 'b~hello_dotnet.adb'
   L229:
      ldloc 12
      ldc.i4.1
      xor
      ldc.i4.0
      beq L230
      .line 125 'b~hello_dotnet.adb'
   L232:
      call void [mgnat]system.stack_checking_pkg::_elabs()
   L230:
      .line 127 'b~hello_dotnet.adb'
   L235:
      ldloc 12
      ldc.i4.1
      xor
      ldc.i4.0
      beq L236
      .line 128 'b~hello_dotnet.adb'
   L238:
      call void [mgnat]system.stack_checking_pkg::_elabb()
      .line 129 'b~hello_dotnet.adb'
   L241:
      ldc.i4.1
      stloc 12
   L236:
      .line 131 'b~hello_dotnet.adb'
   L242:
      ldloc 13
      ldc.i4.1
      xor
      ldc.i4.0
      beq L243
      .line 132 'b~hello_dotnet.adb'
   L245:
      call void [mgnat]system.soft_links_pkg::_elabs()
   L243:
      .line 134 'b~hello_dotnet.adb'
   L248:
      ldloc 13
      ldc.i4.1
      xor
      ldc.i4.0
      beq L249
      .line 135 'b~hello_dotnet.adb'
   L251:
      call void [mgnat]system.soft_links_pkg::_elabb()
      .line 136 'b~hello_dotnet.adb'
   L254:
      ldc.i4.1
      stloc 13
   L249:
      .line 138 'b~hello_dotnet.adb'
   L255:
      ldloc 10
      ldc.i4.1
      xor
      ldc.i4.0
      beq L256
      .line 139 'b~hello_dotnet.adb'
   L258:
      call void [mgnat]system.standard_library_pkg::_elabb()
      .line 140 'b~hello_dotnet.adb'
   L261:
      ldc.i4.1
      stloc 10
   L256:
      .line 142 'b~hello_dotnet.adb'
   L262:
      ldloc 5
      ldc.i4.1
      xor
      ldc.i4.0
      beq L263
      .line 143 'b~hello_dotnet.adb'
   L265:
      call void [mgnat]ada.tags_pkg::_elabb()
      .line 144 'b~hello_dotnet.adb'
   L268:
      ldc.i4.1
      stloc 5
   L263:
      .line 146 'b~hello_dotnet.adb'
   L269:
      ldloc 4
      ldc.i4.1
      xor
      ldc.i4.0
      beq L270
      .line 147 'b~hello_dotnet.adb'
   L272:
      call void [mgnat]ada.exceptions_pkg::_elabb()
      .line 148 'b~hello_dotnet.adb'
   L275:
      ldc.i4.1
      stloc 4
   L270:
      .line 150 'b~hello_dotnet.adb'
   L276:
      ldloc 14
      ldc.i4.1
      xor
      ldc.i4.0
      beq L277
      .line 151 'b~hello_dotnet.adb'
   L279:
      call void [mgnat]system.unsigned_types_pkg::_elabs()
      .line 152 'b~hello_dotnet.adb'
   L282:
      ldc.i4.1
      stloc 14
   L277:
      .line 154 'b~hello_dotnet.adb'
   L283:
      ldloc 15
      ldc.i4.1
      xor
      ldc.i4.0
      beq L284
      .line 155 'b~hello_dotnet.adb'
   L286:
      call void [mgnat]system.stream_attributes_pkg::_elabs()
   L284:
      .line 157 'b~hello_dotnet.adb'
   L289:
      ldloc 15
      ldc.i4.1
      xor
      ldc.i4.0
      beq L290
      .line 158 'b~hello_dotnet.adb'
   L292:
      call void [mgnat]system.stream_attributes_pkg::_elabb()
      .line 159 'b~hello_dotnet.adb'
   L295:
      ldc.i4.1
      stloc 15
   L290:
      .line 161 'b~hello_dotnet.adb'
   L296:
      ldloc 16
      ldc.i4.1
      xor
      ldc.i4.0
      beq L297
      .line 162 'b~hello_dotnet.adb'
   L299:
      call void [mgnat]system.finalization_root_pkg::_elabs()
   L297:
      .line 164 'b~hello_dotnet.adb'
   L302:
      ldloc 16
      ldc.i4.1
      xor
      ldc.i4.0
      beq L303
      .line 165 'b~hello_dotnet.adb'
   L305:
      call void [mgnat]system.finalization_root_pkg::_elabb()
      .line 166 'b~hello_dotnet.adb'
   L308:
      ldc.i4.1
      stloc 16
   L303:
      .line 168 'b~hello_dotnet.adb'
   L309:
      ldloc 17
      ldc.i4.1
      xor
      ldc.i4.0
      beq L310
      .line 169 'b~hello_dotnet.adb'
   L312:
      call void [mgnat]system.finalization_implementation_pkg::_elabs()
   L310:
      .line 171 'b~hello_dotnet.adb'
   L315:
      ldloc 17
      ldc.i4.1
      xor
      ldc.i4.0
      beq L316
      .line 172 'b~hello_dotnet.adb'
   L318:
      call void [mgnat]system.finalization_implementation_pkg::_elabb()
      .line 173 'b~hello_dotnet.adb'
   L321:
      ldc.i4.1
      stloc 17
   L316:
      .line 175 'b~hello_dotnet.adb'
   L322:
      ldloc 18
      ldc.i4.1
      xor
      ldc.i4.0
      beq L323
      .line 176 'b~hello_dotnet.adb'
   L325:
      call void [mgnat]ada.finalization_pkg::_elabs()
   L323:
      .line 178 'b~hello_dotnet.adb'
   L328:
      ldloc 18
      ldc.i4.1
      xor
      ldc.i4.0
      beq L329
      .line 179 'b~hello_dotnet.adb'
   L331:
      call void [mgnat]ada.finalization_pkg::_elabb()
      .line 180 'b~hello_dotnet.adb'
   L334:
      ldc.i4.1
      stloc 18
   L329:
      .line 182 'b~hello_dotnet.adb'
   L335:
      ldloc 19
      ldc.i4.1
      xor
      ldc.i4.0
      beq L336
      .line 183 'b~hello_dotnet.adb'
   L338:
      call void [mgnat]ada.finalization.list_controller_pkg::_elabs()
   L336:
      .line 185 'b~hello_dotnet.adb'
   L341:
      ldloc 19
      ldc.i4.1
      xor
      ldc.i4.0
      beq L342
      .line 186 'b~hello_dotnet.adb'
   L344:
      call void [mgnat]ada.finalization.list_controller_pkg::_elabb()
      .line 187 'b~hello_dotnet.adb'
   L347:
      ldc.i4.1
      stloc 19
   L342:
      .line 189 'b~hello_dotnet.adb'
   L348:
      ldloc 20
      ldc.i4.1
      xor
      ldc.i4.0
      beq L349
      .line 190 'b~hello_dotnet.adb'
   L351:
      call void [mgnat]system.file_control_block_pkg::_elabs()
      .line 191 'b~hello_dotnet.adb'
   L354:
      ldc.i4.1
      stloc 20
   L349:
      .line 193 'b~hello_dotnet.adb'
   L355:
      ldloc 21
      ldc.i4.1
      xor
      ldc.i4.0
      beq L356
      .line 194 'b~hello_dotnet.adb'
   L358:
      call void [mgnat]system.file_io_pkg::_elabs()
   L356:
      .line 196 'b~hello_dotnet.adb'
   L361:
      ldloc 21
      ldc.i4.1
      xor
      ldc.i4.0
      beq L362
      .line 197 'b~hello_dotnet.adb'
   L364:
      call void [mgnat]system.file_io_pkg::_elabb()
      .line 198 'b~hello_dotnet.adb'
   L367:
      ldc.i4.1
      stloc 21
   L362:
      .line 200 'b~hello_dotnet.adb'
   L368:
      ldloc 22
      ldc.i4.1
      xor
      ldc.i4.0
      beq L369
      .line 201 'b~hello_dotnet.adb'
   L371:
      call void [mgnat]ada.text_io_pkg::_elabs()
   L369:
      .line 203 'b~hello_dotnet.adb'
   L374:
      ldloc 22
      ldc.i4.1
      xor
      ldc.i4.0
      beq L375
      .line 204 'b~hello_dotnet.adb'
   L377:
      call void [mgnat]ada.text_io_pkg::_elabb()
      .line 205 'b~hello_dotnet.adb'
   L380:
      ldc.i4.1
      stloc 22
   L375:
      .line 203 'b~hello_dotnet.adb'
   L381:
      ret
   L382:
      newobj  instance void [mgnatcs]mgnat.adalib.program_error::.ctor()
      throw
   }
   .method public static void _elabb() { 
      .maxstack  0
      .locals init([0]class [mscorlib]System.Exception _exc_var)
      .line 224 'b~hello_dotnet.adb'
   L87:
   L388:
      ret
   }
}
