0x7f7441bb09f7:	mov    0x20(%rbx),%rax
0x7f7441bb09fb:	mov    %rax,0x58(%rsp)
0x7f7441bb0a00:	movzwl 0x20(%rbp),%eax
0x7f7441bb0a04:	cmp    %ax,0x58(%rsp)
0x7f7441bb0a09:	jge    0x7f7441bb0a10
0x7f7441bb0a0b:	mov    %ax,0x58(%rsp)
0x7f7441bb0a10:	movzwl 0x24(%rbp),%eax
0x7f7441bb0a14:	cmp    %ax,0x5c(%rsp)
0x7f7441bb0a19:	jge    0x7f7441bb0a20
0x7f7441bb0a1b:	mov    %ax,0x5c(%rsp)
0x7f7441bb0a20:	movzwl 0x22(%rbp),%eax
0x7f7441bb0a24:	cmp    %ax,0x5a(%rsp)
0x7f7441bb0a29:	jle    0x7f7441bb0a30
0x7f7441bb0a2b:	mov    %ax,0x5a(%rsp)
0x7f7441bb0a30:	movzwl 0x26(%rbp),%eax
0x7f7441bb0a34:	cmp    %ax,0x5e(%rsp)