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
        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
        movl      $.L_2__STRING.1, %edi                         #4.3
        xorl      %eax, %eax                                    #4.3
        call      printf                                        #4.3
        xorl      %eax, %eax                                    #5.1
        movq      %rbp, %rsp                                    #5.1
        popq      %rbp                                          #5.1
        ret                                                     #5.1
.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
