.file   "max64Win.s"
        .text
        .globl  max
        
max:    # int max(int a, int b)
        # Arguments in registers: a in %rcx, b in %rdx
        
        pushq   %rbp        # save frame pointer in stack
        movq    %rsp, %rbp  # new FP points to old FP in stack
        
        movl    %ecx, %eax  # ax := a
        cmpl    %edx, %eax  # cc0 := a - b
        jge     L0          # if result >= 0 goto L0  (ge = greater or equal)
        movl    %edx, %eax  # ax := b
L0:
        movq    %rbp, %rsp  # top of stack := FP
        popq    %rbp        # restore old FP
        ret