Intel disassemble of hello.exe (built from hello.cs (http://pastebin.com/wRgB1JuU))

Method check1.Program:Main (string[]) emitted at 0x40353da0 to 0x40353e88 (code length 232) [hello.exe]

/tmp/.W1mtwN:     file format elf64-x86-64


Disassembly of section .text:

0000000000000000 <ck1_Program_Main>:
<BB>:3
   0:	48 83 ec 28          	sub    $0x28,%rsp
   4:	4c 89 34 24          	mov    %r14,(%rsp)
   8:	4c 89 7c 24 08       	mov    %r15,0x8(%rsp)
   d:	f2 0f 10 05 cb 00 00 	movsd  0xcb(%rip),%xmm0        # e0 <ck1_Program_Main+0xe0>
  14:	00
  15:	f2 0f 11 44 24 10    	movsd  %xmm0,0x10(%rsp)
  1b:	f2 0f 10 05 ad 00 00 	movsd  0xad(%rip),%xmm0        # d0 <ck1_Program_Main+0xd0>
  22:	00
  23:	f2 4c 0f 2c f0       	cvttsd2si %xmm0,%r14
  28:	49 8b c6             	mov    %r14,%rax
  2b:	83 f8 02             	cmp    $0x2,%eax
  2e:	0f 84 2c 00 00 00    	je     60 <ck1_Program_Main+0x60>
<BB>:5
  34:	bf b8 7f 3f 01       	mov    $0x13f7fb8,%edi
  39:	66 90                	xchg   %ax,%ax
  3b:	e8 bc 00 00 00       	callq  fc <ck1_Program_Main+0xfc>
  40:	48 8b f0             	mov    %rax,%rsi
  43:	44 89 76 10          	mov    %r14d,0x10(%rsi)
  47:	48 bf 10 00 cb b1 db 	movabs $0x7fdbb1cb0010,%rdi
  4e:	7f 00 00
  51:	66 90                	xchg   %ax,%ax
  53:	e8 9a 00 00 00       	callq  f2 <ck1_Program_Main+0xf2>
  58:	48 8b f8             	mov    %rax,%rdi
  5b:	e8 88 00 00 00       	callq  e8 <ck1_Program_Main+0xe8>
<BB>:4
  60:	f2 0f 10 44 24 10    	movsd  0x10(%rsp),%xmm0
  66:	90                   	nop
  67:	e8 85 ff ff ff       	callq  fffffffffffffff1 <ck1_Program_Main+0xfffffffffffffff1>
  6c:	4c 8b f8             	mov    %rax,%r15
  6f:	83 f8 02             	cmp    $0x2,%eax
  72:	0f 84 2c 00 00 00    	je     a4 <ck1_Program_Main+0xa4>
<BB>:7
  78:	bf 18 84 3f 01       	mov    $0x13f8418,%edi
  7d:	66 90                	xchg   %ax,%ax
  7f:	e8 78 00 00 00       	callq  fc <ck1_Program_Main+0xfc>
  84:	48 8b f0             	mov    %rax,%rsi
  87:	44 89 7e 10          	mov    %r15d,0x10(%rsi)
  8b:	48 bf 10 00 cb b1 db 	movabs $0x7fdbb1cb0010,%rdi
  92:	7f 00 00
  95:	66 90                	xchg   %ax,%ax
  97:	e8 56 00 00 00       	callq  f2 <ck1_Program_Main+0xf2>
  9c:	48 8b f8             	mov    %rax,%rdi
  9f:	e8 44 00 00 00       	callq  e8 <ck1_Program_Main+0xe8>
<BB>:6
  a4:	48 bf 48 00 cb b1 db 	movabs $0x7fdbb1cb0048,%rdi
  ab:	7f 00 00
  ae:	90                   	nop
  af:	e8 34 00 00 00       	callq  e8 <ck1_Program_Main+0xe8>
  b4:	33 c0                	xor    %eax,%eax
<BB>:1
  b6:	4c 8b 34 24          	mov    (%rsp),%r14
  ba:	4c 8b 7c 24 08       	mov    0x8(%rsp),%r15
  bf:	48 83 c4 28          	add    $0x28,%rsp
  c3:	c3                   	retq
	...
  d4:	00 00                	add    %al,(%rax)
  d6:	00 40 00             	add    %al,0x0(%rax)
	...
  e5:	00 00                	add    %al,(%rax)
  e7:	40                   	rex