summaryrefslogtreecommitdiff
path: root/Test/dafny0/ExternHelloLibrary.dll
blob: 914e4248e1af9d3a3173fb7a434ee373a45802cd (plain)
ofshex dumpascii
0000 4d 5a 90 00 03 00 00 00 04 00 00 00 ff ff 00 00 b8 00 00 00 00 00 00 00 40 00 00 00 00 00 00 00 MZ......................@.......
0020 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 80 00 00 00 ................................
0040 0e 1f ba 0e 00 b4 09 cd 21 b8 01 4c cd 21 54 68 69 73 20 70 72 6f 67 72 61 6d 20 63 61 6e 6e 6f ........!..L.!This.program.canno
0060 74 20 62 65 20 72 75 6e 20 69 6e 20 44 4f 53 20 6d 6f 64 65 2e 0d 0d 0a 24 00 00 00 00 00 00 00 t.be.run.in.DOS.mode....$.......
0080 50 45 00 00 4c 01 03 00 55 25 a9 56 00 00 00 00 00 00 00 00 e0 00 22 20 0b 01 30 00 00 04 00 00 PE..L...U%.V.........."...0.....
00a0 00 06 00 00 00 00 00 00 aa 23 00 00 00 20 00 00 00 40 00 00 00 00 00 10 00 20 00 00 00 02 00 00 .........#.......@..............
00c0 04 00 00 00 00 00 00 00 04 00 00 00 00 00 00 00 00 80 00 00 00 02 00 00 00 00 00 00 03 00 40 85 ..............................@.
00e0 00 00 10 00 00 10 00 00 00 00 10 00 00 10 00 00 00 00 00 00 10 00 00 00 00 00 00 00 00 00 00 00 ................................
0100 58 23 00 00 4f 00 00 00 00 40 00 00 d0 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 X#..O....@......................
0120 00 60 00 00 0c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 .`..............................
0140 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 20 00 00 08 00 00 00 ................................
0160 00 00 00 00 00 00 00 00 08 20 00 00 48 00 00 00 00 00 00 00 00 00 00 00 2e 74 65 78 74 00 00 00 ............H............text...
0180 b0 03 00 00 00 20 00 00 00 04 00 00 00 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 20 00 00 60 ...............................`
01a0 2e 72 73 72 63 00 00 00 d0 02 00 00 00 40 00 00 00 04 00 00 00 06 00 00 00 00 00 00 00 00 00 00 .rsrc........@..................
01c0 00 00 00 00 40 00 00 40 2e 72 65 6c 6f 63 00 00 0c 00 00 00 00 60 00 00 00 02 00 00 00 0a 00 00 ....@..@.reloc.......`..........
01e0 00 00 00 00 00 00 00 00 00 00 00 00 40 00 00 42 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ............@..B................
0200 8c 23 00 00 00 00 00 00 48 00 00 00 02 00 05 00 60 20 00 00 f8 02 00 00 01 00 00 00 00 00 00 00 .#......H.......`...............
0220 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0240 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 36 00 72 01 00 00 70 28 04 00 00 0a 00 2a 00 00 ................6.r...p(.....*..
0260 42 53 4a 42 01 00 01 00 00 00 00 00 0c 00 00 00 76 34 2e 30 2e 33 30 33 31 39 00 00 00 00 05 00 BSJB............v4.0.30319......
0280 6c 00 00 00 e8 00 00 00 23 7e 00 00 54 01 00 00 00 01 00 00 23 53 74 72 69 6e 67 73 00 00 00 00 l.......#~..T.......#Strings....
02a0 54 02 00 00 40 00 00 00 23 55 53 00 94 02 00 00 10 00 00 00 23 47 55 49 44 00 00 00 a4 02 00 00 T...@...#US.........#GUID.......
02c0 54 00 00 00 23 42 6c 6f 62 00 00 00 00 00 00 00 02 00 00 01 47 14 00 00 09 00 00 00 00 fa 01 33 T...#Blob...........G..........3
02e0 00 16 00 00 01 00 00 00 06 00 00 00 02 00 00 00 01 00 00 00 04 00 00 00 03 00 00 00 01 00 00 00 ................................
0300 01 00 00 00 00 00 77 00 01 00 00 00 00 00 06 00 39 00 b7 00 06 00 59 00 b7 00 06 00 25 00 a4 00 ......w.........9.....Y.....%...
0320 0f 00 d7 00 00 00 06 00 e6 00 8e 00 06 00 13 00 8e 00 00 00 00 00 01 00 00 00 00 00 01 00 01 00 ................................
0340 81 01 10 00 ed 00 ed 00 15 00 01 00 01 00 50 20 00 00 00 00 96 00 95 00 1e 00 01 00 09 00 9e 00 ..............P.................
0360 01 00 11 00 9e 00 06 00 19 00 9e 00 0a 00 31 00 1b 00 10 00 2e 00 0b 00 22 00 2e 00 13 00 2b 00 ..............1.........".....+.
0380 2e 00 1b 00 4a 00 04 80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ed 00 00 00 04 00 00 00 ....J...........................
03a0 00 00 00 00 00 00 00 00 15 00 0a 00 00 00 00 00 00 00 00 00 00 3c 4d 6f 64 75 6c 65 3e 00 6d 73 .....................<Module>.ms
03c0 63 6f 72 6c 69 62 00 43 6f 6e 73 6f 6c 65 00 57 72 69 74 65 4c 69 6e 65 00 44 65 62 75 67 67 61 corlib.Console.WriteLine.Debugga
03e0 62 6c 65 41 74 74 72 69 62 75 74 65 00 43 6f 6d 70 69 6c 61 74 69 6f 6e 52 65 6c 61 78 61 74 69 bleAttribute.CompilationRelaxati
0400 6f 6e 73 41 74 74 72 69 62 75 74 65 00 52 75 6e 74 69 6d 65 43 6f 6d 70 61 74 69 62 69 6c 69 74 onsAttribute.RuntimeCompatibilit
0420 79 41 74 74 72 69 62 75 74 65 00 45 78 74 65 72 6e 48 65 6c 6c 6f 4c 69 62 72 61 72 79 2e 64 6c yAttribute.ExternHelloLibrary.dl
0440 6c 00 53 79 73 74 65 6d 00 53 61 79 48 65 6c 6c 6f 00 2e 63 74 6f 72 00 53 79 73 74 65 6d 2e 44 l.System.SayHello..ctor.System.D
0460 69 61 67 6e 6f 73 74 69 63 73 00 53 79 73 74 65 6d 2e 52 75 6e 74 69 6d 65 2e 43 6f 6d 70 69 6c iagnostics.System.Runtime.Compil
0480 65 72 53 65 72 76 69 63 65 73 00 44 65 62 75 67 67 69 6e 67 4d 6f 64 65 73 00 4f 62 6a 65 63 74 erServices.DebuggingModes.Object
04a0 00 45 78 74 65 72 6e 48 65 6c 6c 6f 4c 69 62 72 61 72 79 00 00 3d 48 00 65 00 6c 00 6c 00 6f 00 .ExternHelloLibrary..=H.e.l.l.o.
04c0 20 00 66 00 72 00 6f 00 6d 00 20 00 45 00 78 00 74 00 65 00 72 00 6e 00 48 00 65 00 6c 00 6c 00 ..f.r.o.m...E.x.t.e.r.n.H.e.l.l.
04e0 6f 00 4c 00 69 00 62 00 72 00 61 00 72 00 79 00 2e 00 00 00 de 8b 6e 25 e4 53 3c 4f a5 29 7b b7 o.L.i.b.r.a.r.y.......n%.S<O.){.
0500 b1 db c8 d2 00 04 20 01 01 08 03 20 00 01 05 20 01 01 11 11 04 00 01 01 0e 08 b7 7a 5c 56 19 34 ...........................z\V.4
0520 e0 89 03 00 00 01 08 01 00 08 00 00 00 00 00 1e 01 00 01 00 54 02 16 57 72 61 70 4e 6f 6e 45 78 ....................T..WrapNonEx
0540 63 65 70 74 69 6f 6e 54 68 72 6f 77 73 01 08 01 00 07 01 00 00 00 00 00 80 23 00 00 00 00 00 00 ceptionThrows............#......
0560 00 00 00 00 9a 23 00 00 00 20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 .....#..........................
0580 8c 23 00 00 00 00 00 00 00 00 00 00 00 00 5f 43 6f 72 44 6c 6c 4d 61 69 6e 00 6d 73 63 6f 72 65 .#............_CorDllMain.mscore
05a0 65 2e 64 6c 6c 00 00 00 00 00 ff 25 00 20 00 10 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 e.dll......%....................
05c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
05e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0600 00 00 00 00 00 00 00 00 00 00 00 00 00 00 01 00 10 00 00 00 18 00 00 80 00 00 00 00 00 00 00 00 ................................
0620 00 00 00 00 00 00 01 00 01 00 00 00 30 00 00 80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 01 00 ............0...................
0640 00 00 00 00 48 00 00 00 58 40 00 00 74 02 00 00 00 00 00 00 00 00 00 00 74 02 34 00 00 00 56 00 ....H...X@..t...........t.4...V.
0660 53 00 5f 00 56 00 45 00 52 00 53 00 49 00 4f 00 4e 00 5f 00 49 00 4e 00 46 00 4f 00 00 00 00 00 S._.V.E.R.S.I.O.N._.I.N.F.O.....
0680 bd 04 ef fe 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 3f 00 00 00 00 00 00 00 ........................?.......
06a0 04 00 00 00 02 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 44 00 00 00 01 00 56 00 61 00 72 00 ....................D.....V.a.r.
06c0 46 00 69 00 6c 00 65 00 49 00 6e 00 66 00 6f 00 00 00 00 00 24 00 04 00 00 00 54 00 72 00 61 00 F.i.l.e.I.n.f.o.....$.....T.r.a.
06e0 6e 00 73 00 6c 00 61 00 74 00 69 00 6f 00 6e 00 00 00 00 00 00 00 b0 04 d4 01 00 00 01 00 53 00 n.s.l.a.t.i.o.n...............S.
0700 74 00 72 00 69 00 6e 00 67 00 46 00 69 00 6c 00 65 00 49 00 6e 00 66 00 6f 00 00 00 b0 01 00 00 t.r.i.n.g.F.i.l.e.I.n.f.o.......
0720 01 00 30 00 30 00 30 00 30 00 30 00 34 00 62 00 30 00 00 00 2c 00 02 00 01 00 46 00 69 00 6c 00 ..0.0.0.0.0.4.b.0...,.....F.i.l.
0740 65 00 44 00 65 00 73 00 63 00 72 00 69 00 70 00 74 00 69 00 6f 00 6e 00 00 00 00 00 20 00 00 00 e.D.e.s.c.r.i.p.t.i.o.n.........
0760 30 00 08 00 01 00 46 00 69 00 6c 00 65 00 56 00 65 00 72 00 73 00 69 00 6f 00 6e 00 00 00 00 00 0.....F.i.l.e.V.e.r.s.i.o.n.....
0780 30 00 2e 00 30 00 2e 00 30 00 2e 00 30 00 00 00 4e 00 17 00 01 00 49 00 6e 00 74 00 65 00 72 00 0...0...0...0...N.....I.n.t.e.r.
07a0 6e 00 61 00 6c 00 4e 00 61 00 6d 00 65 00 00 00 45 00 78 00 74 00 65 00 72 00 6e 00 48 00 65 00 n.a.l.N.a.m.e...E.x.t.e.r.n.H.e.
07c0 6c 00 6c 00 6f 00 4c 00 69 00 62 00 72 00 61 00 72 00 79 00 2e 00 64 00 6c 00 6c 00 00 00 00 00 l.l.o.L.i.b.r.a.r.y...d.l.l.....
07e0 28 00 02 00 01 00 4c 00 65 00 67 00 61 00 6c 00 43 00 6f 00 70 00 79 00 72 00 69 00 67 00 68 00 (.....L.e.g.a.l.C.o.p.y.r.i.g.h.
0800 74 00 00 00 20 00 00 00 56 00 17 00 01 00 4f 00 72 00 69 00 67 00 69 00 6e 00 61 00 6c 00 46 00 t.......V.....O.r.i.g.i.n.a.l.F.
0820 69 00 6c 00 65 00 6e 00 61 00 6d 00 65 00 00 00 45 00 78 00 74 00 65 00 72 00 6e 00 48 00 65 00 i.l.e.n.a.m.e...E.x.t.e.r.n.H.e.
0840 6c 00 6c 00 6f 00 4c 00 69 00 62 00 72 00 61 00 72 00 79 00 2e 00 64 00 6c 00 6c 00 00 00 00 00 l.l.o.L.i.b.r.a.r.y...d.l.l.....
0860 34 00 08 00 01 00 50 00 72 00 6f 00 64 00 75 00 63 00 74 00 56 00 65 00 72 00 73 00 69 00 6f 00 4.....P.r.o.d.u.c.t.V.e.r.s.i.o.
0880 6e 00 00 00 30 00 2e 00 30 00 2e 00 30 00 2e 00 30 00 00 00 38 00 08 00 01 00 41 00 73 00 73 00 n...0...0...0...0...8.....A.s.s.
08a0 65 00 6d 00 62 00 6c 00 79 00 20 00 56 00 65 00 72 00 73 00 69 00 6f 00 6e 00 00 00 30 00 2e 00 e.m.b.l.y...V.e.r.s.i.o.n...0...
08c0 30 00 2e 00 30 00 2e 00 30 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 0...0...0.......................
08e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0900 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0920 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0940 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0960 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0980 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09a0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09c0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
09e0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a00 00 20 00 00 0c 00 00 00 ac 33 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 .........3......................
0a20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0a80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0aa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ac0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ae0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b20 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b40 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b60 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0b80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0ba0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0bc0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
0be0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................