// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: infix
cell infix(int k) {
	cell	ops, args, new;
	cell	n;

	n = funapp();
	if ((Token == TOK_ID && is_binop(Attr)) || Token == TOK_CONS) {
		Tmp = n;
		save(Attr);
		args = NIL;
		save(args);
		ops = NIL;
		save(ops);
		set(cadr(Stack), node(n, cadr(Stack)));
		Tmp = NIL;
		if (Token == TOK_CONS)
			Attr = caddr(Stack) = S_cons;
		while (is_binop(Attr) && (Attr != S_equal || k > 0)) {
			commit(symbol_name(Attr), 0);
			set(car(Stack), node(Attr, car(Stack)));
			Token = scan();
			caddr(Stack) = Attr;
			set(cadr(Stack), node(funapp(), cadr(Stack)));
			if (Token == TOK_CONS)
				Attr = caddr(Stack) = S_cons;
		}
		commit("", 1);
		n = car(unsave(2));
		unsave(1);
		return n;
	}
	else {
		return n;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movl %edi, -0xc(%rbp)
callq 0xfb30
movq %rax, -0x30(%rbp)
cmpl $0xfffffed1, 0x187a2(%rip) # imm = 0xFFFFFED1
jne 0xff51
movq 0x18221(%rip), %rdi     # 0x28168
callq 0xc680
cmpl $0x0, %eax
jne 0xff5e
cmpl $-0x67, 0x18788(%rip)   # 0x286e0
jne 0x10222
movq -0x30(%rbp), %rax
movq %rax, 0x181b7(%rip)     # 0x28120
movq 0x181f8(%rip), %rdi     # 0x28168
movq 0x181c1(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x181b3(%rip)     # 0x28138
movq $-0x1, -0x20(%rbp)
movq -0x20(%rbp), %rdi
movq 0x181a0(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x18192(%rip)     # 0x28138
movq $-0x1, -0x18(%rbp)
movq -0x18(%rbp), %rdi
movq 0x1817f(%rip), %rsi     # 0x28138
xorl %edx, %edx
callq 0x3780
movq %rax, 0x18171(%rip)     # 0x28138
movq -0x30(%rbp), %rdi
movq 0x181ae(%rip), %rax     # 0x28180
movq 0x185f7(%rip), %rcx     # 0x285d0
movq 0x18158(%rip), %rdx     # 0x28138
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
movq 0x18182(%rip), %rax     # 0x28180
movq 0x185cb(%rip), %rcx     # 0x285d0
movq 0x1812c(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
movq $-0x1, 0x18101(%rip) # 0x28120
cmpl $-0x67, 0x186ba(%rip)   # 0x286e0
jne 0x1005e
movq 0x18671(%rip), %rax     # 0x286a0
movq 0x1814a(%rip), %rcx     # 0x28180
movq 0x18593(%rip), %rdx     # 0x285d0
movq 0x1858c(%rip), %rsi     # 0x285d0
movq 0x180ed(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq %rax, (%rcx,%rdx,8)
movq %rax, 0x1810a(%rip)     # 0x28168
jmp 0x10060
movq 0x18101(%rip), %rdi     # 0x28168
callq 0xc680
movl %eax, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x31(%rbp)
je 0x1009d
movq 0x180e9(%rip), %rcx     # 0x28168
movb $0x1, %al
cmpq 0x18680(%rip), %rcx     # 0x28708
movb %al, -0x32(%rbp)
jne 0x10097
cmpl $0x0, -0xc(%rbp)
setg %al
movb %al, -0x32(%rbp)
movb -0x32(%rbp), %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
testb $0x1, %al
jne 0x100a9
jmp 0x101d9
movq 0x18548(%rip), %rdi     # 0x285f8
movq 0x18519(%rip), %rax     # 0x285d0
movq 0x180aa(%rip), %rcx     # 0x28168
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rdi
xorl %esi, %esi
callq 0xfcf0
movq 0x18091(%rip), %rdi     # 0x28168
movq 0x180a2(%rip), %rax     # 0x28180
movq 0x18053(%rip), %rcx     # 0x28138
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
movq 0x18081(%rip), %rax     # 0x28180
movq 0x18032(%rip), %rcx     # 0x28138
movq %rdx, (%rax,%rcx,8)
callq 0xcc90
movl %eax, 0x185cb(%rip)     # 0x286e0
movq 0x1804c(%rip), %rdx     # 0x28168
movq 0x1805d(%rip), %rax     # 0x28180
movq 0x184a6(%rip), %rcx     # 0x285d0
movq 0x1849f(%rip), %rsi     # 0x285d0
movq 0x18000(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
callq 0xfb30
movq %rax, %rdi
movq 0x1802d(%rip), %rax     # 0x28180
movq 0x18476(%rip), %rcx     # 0x285d0
movq 0x17fd7(%rip), %rdx     # 0x28138
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rsi
xorl %edx, %edx
callq 0x3780
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
movq 0x18001(%rip), %rax     # 0x28180
movq 0x1844a(%rip), %rcx     # 0x285d0
movq 0x17fab(%rip), %rsi     # 0x28138
movq (%rcx,%rsi,8), %rcx
movq %rdx, (%rax,%rcx,8)
cmpl $-0x67, 0x18544(%rip)   # 0x286e0
jne 0x101d4
movq 0x184fb(%rip), %rax     # 0x286a0
movq 0x17fd4(%rip), %rcx     # 0x28180
movq 0x1841d(%rip), %rdx     # 0x285d0
movq 0x18416(%rip), %rsi     # 0x285d0
movq 0x17f77(%rip), %rdi     # 0x28138
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
movq %rax, (%rcx,%rdx,8)
movq %rax, 0x17f94(%rip)     # 0x28168
jmp 0x10060
leaq 0x117f4(%rip), %rdi     # 0x219d4
movl $0x1, %esi
callq 0xfcf0
movq 0x17f8f(%rip), %rax     # 0x28180
movq %rax, -0x40(%rbp)
movl $0x2, %edi
callq 0x3950
movq %rax, %rcx
movq -0x40(%rbp), %rax
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movl $0x1, %edi
callq 0x3950
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x1022a
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)