{
  "asm": [
    {
      "labels": [],
      "source": null,
      "text": "# mark_description \"Intel(R) C Intel(R) 64 Compiler XE for applications running on Intel(R) 64, Version 12.1 Build 20120410\";"
    },
    {
      "labels": [],
      "source": null,
      "text": "# -- Begin  main"
    },
    {
      "labels": [],
      "source": null,
      "text": "# mark_begin;"
    },
    {
      "labels": [],
      "source": null,
      "text": "main:"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        pushq     %rbp                                          #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        movq      %rsp, %rbp                                    #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        andq      $-128, %rsp                                   #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        subq      $128, %rsp                                    #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        movl      $3, %edi                                      #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        call      __intel_new_proc_init                         #2.12"
    },
    {
      "labels": [],
      "source": null,
      "text": "                                # LOE rbx r12 r13 r14 r15"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        stmxcsr   (%rsp)                                        #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        movl      $.L_2__STRING.0, %edi                         #3.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        xorl      %eax, %eax                                    #3.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        orl       $32832, (%rsp)                                #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        ldmxcsr   (%rsp)                                        #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        call      printf                                        #3.1"
    },
    {
      "labels": [],
      "source": null,
      "text": "                                # LOE rbx r12 r13 r14 r15"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        movl      $.L_2__STRING.1, %edi                         #4.3"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        xorl      %eax, %eax                                    #4.3"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        call      printf                                        #4.3"
    },
    {
      "labels": [],
      "source": null,
      "text": "                                # LOE rbx r12 r13 r14 r15"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        xorl      %eax, %eax                                    #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        movq      %rbp, %rsp                                    #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        popq      %rbp                                          #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        ret                                                     #5.1"
    },
    {
      "labels": [],
      "source": null,
      "text": "                                # LOE"
    },
    {
      "labels": [],
      "source": null,
      "text": "# mark_end;"
    },
    {
      "labels": [],
      "source": null,
      "text": "# -- End  main"
    },
    {
      "labels": [],
      "source": null,
      "text": ".L_2__STRING.0:"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   72"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   101"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   32"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   119"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   114"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   100"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   0"
    },
    {
      "labels": [],
      "source": null,
      "text": ".L_2__STRING.1:"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   109"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   10"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   0"
    },
    {
      "labels": [],
      "source": null,
      "text": "// -- Begin DWARF2 SEGMENT .debug_info"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_TAG_compile_unit:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_comp_dir:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_language:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_producer:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_stmt_list:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_TAG_namespace:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_name:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_TAG_namespace:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_name:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_TAG_base_type:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_byte_size:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_encoding:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_name:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_TAG_subprogram:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_decl_line:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_decl_column:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_decl_file:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_inline:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_accessibility:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_type:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_prototyped:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_name:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_low_pc:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_high_pc:"
    },
    {
      "labels": [],
      "source": null,
      "text": "//      DW_AT_external:"
    },
    {
      "labels": [],
      "source": null,
      "text": "// -- Begin DWARF2 SEGMENT .debug_line"
    },
    {
      "labels": [],
      "source": null,
      "text": "// -- Begin DWARF2 SEGMENT .debug_abbrev"
    },
    {
      "labels": [],
      "source": null,
      "text": "// -- Begin DWARF2 SEGMENT .debug_frame"
    },
    {
      "labels": [],
      "source": null,
      "text": "// -- Begin DWARF2 SEGMENT .eh_frame"
    },
    {
      "labels": [],
      "source": null,
      "text": "# End"
    }
  ],
  "labelDefinitions": {
    ".L_2__STRING.0": 30,
    ".L_2__STRING.1": 43,
    "main": 4
  }
}
