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