// File: /workspace/github_c_makefile_star2_O2/nimble-code[P]Uno/Src/uno_local.c
// Function: add_never
void
add_never(FILE *fo)
{	FILE *fd;
	char buf[1024];

	if ((fd = fopen(never, "r")) == NULL)
	{	fprintf(stderr, "uno: cannot open %s\n", never);
		return;
	}

	fprintf(fo, "/** property from %s: **/\n", never);
	fprintf(fo, "#undef ANY\n");
	fprintf(fo, "#undef NONE\n");
	fprintf(fo, "#undef DEF\n");
	fprintf(fo, "#undef USE\n");
	fprintf(fo, "#undef FCALL\n");
	fprintf(fo, "#undef REF0\n");
	fprintf(fo, "#undef REF1\n");
	fprintf(fo, "#undef REF2\n");
	fprintf(fo, "#undef DEREF\n");
	fprintf(fo, "#undef ALIAS\n");
	fprintf(fo, "#undef ARRAY_DECL\n");
	fprintf(fo, "#undef HIDE\n");
	fprintf(fo, "#undef DECL\n");
	fprintf(fo, "#undef USEafterdef\n");
	fprintf(fo, "#undef USEbeforedef\n");
	fprintf(fo, "#undef UNO_CONST\n");
	fprintf(fo, "#undef PARAM\n");
	fprintf(fo, "#undef IN_SIZEOF\n");
	fprintf(fo, "#undef IS_PTR\n");
	fprintf(fo, "#undef NOT_SCALAR\n");
	fprintf(fo, "#undef INCOND\n");

	fprintf(fo, "#define NONE	%d\n", NONE);
	fprintf(fo, "#define ANY	%d\n", ANY);
	fprintf(fo, "#define DEF	%d\n", DEF);
	fprintf(fo, "#define FCALL	%d\n", FCALL);
	fprintf(fo, "#define USE	%d\n", USE);
	fprintf(fo, "#define REF0	%d\n", REF0);
	fprintf(fo, "#define REF1	%d\n", REF1);
	fprintf(fo, "#define REF2	%d\n", REF2);
	fprintf(fo, "#define DEREF	%d\n", DEREF);
	fprintf(fo, "#define ALIAS	%d\n", ALIAS);
	fprintf(fo, "#define ARRAY_DECL	%d\n", ARRAY_DECL);
	fprintf(fo, "#define HIDE	%d\n", HIDE);
	fprintf(fo, "#define DECL	%d\n", DECL);
	fprintf(fo, "#define USEafterdef	%d\n", USEafterdef);
	fprintf(fo, "#define USEbeforedef	%d\n", USEbeforedef);
	fprintf(fo, "#define UNO_CONST	%d\n", UNO_CONST);
	fprintf(fo, "#define PARAM	%d\n", PARAM);
	fprintf(fo, "#define IN_SIZEOF	%d\n", IN_SIZEOF);
	fprintf(fo, "#define IS_PTR	%d\n", IS_PTR);
	fprintf(fo, "#define INCOND	%d\n", INCOND);
	fprintf(fo, "#define NOT_SCALAR	(REF0|REF1|REF2|ALIAS|DEREF)\n");
	fprintf(fo, "#line 1 \"%s\"\n", never);

	while (fgets(buf, 1024, fd))
		fprintf(fo, "%s", buf);
	fclose(fd);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x408, %rsp            # imm = 0x408
movq %rdi, %rbx
movq 0x33b21(%rip), %rdi     # 0x371f8
leaq 0x2a25d(%rip), %rsi     # 0x2d93b
callq 0x3230
testq %rax, %rax
je 0x3aee
movq %rax, %r14
movq 0x33b02(%rip), %rdx     # 0x371f8
leaq 0x19ebd(%rip), %rsi     # 0x1d5ba
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19ec7(%rip), %rdi     # 0x1d5d5
pushq $0xb
popq %r12
pushq $0x1
popq %r15
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19eb6(%rip), %rdi     # 0x1d5e1
pushq $0xc
popq %r13
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19eaa(%rip), %rdi     # 0x1d5ee
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19ea1(%rip), %rdi     # 0x1d5fa
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e98(%rip), %rdi     # 0x1d606
pushq $0xd
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e8d(%rip), %rdi     # 0x1d614
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e85(%rip), %rdi     # 0x1d621
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e7d(%rip), %rdi     # 0x1d62e
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e75(%rip), %rdi     # 0x1d63b
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e6e(%rip), %rdi     # 0x1d649
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e67(%rip), %rdi     # 0x1d657
pushq $0x12
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e62(%rip), %rdi     # 0x1d66a
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e5a(%rip), %rdi     # 0x1d677
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e52(%rip), %rdi     # 0x1d684
pushq $0x13
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e51(%rip), %rdi     # 0x1d698
pushq $0x14
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e51(%rip), %rdi     # 0x1d6ad
pushq $0x11
popq %r13
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e4a(%rip), %rdi     # 0x1d6bf
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e43(%rip), %rdi     # 0x1d6cd
movq %r13, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e40(%rip), %rdi     # 0x1d6df
pushq $0xe
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e36(%rip), %rdi     # 0x1d6ee
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e34(%rip), %rdi     # 0x1d701
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
leaq 0x19e2e(%rip), %rsi     # 0x1d710
movq %rbx, %rdi
xorl %edx, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x19e2c(%rip), %rsi     # 0x1d721
movq %rbx, %rdi
movl $0xfffff, %edx          # imm = 0xFFFFF
xorl %eax, %eax
callq 0x31a0
leaq 0x19e26(%rip), %rsi     # 0x1d731
pushq $0x1
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e22(%rip), %rsi     # 0x1d741
pushq $0x2
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e20(%rip), %rsi     # 0x1d753
pushq $0x4
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e1c(%rip), %rsi     # 0x1d763
pushq $0x8
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e19(%rip), %rsi     # 0x1d774
pushq $0x10
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e16(%rip), %rsi     # 0x1d785
pushq $0x20
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e13(%rip), %rsi     # 0x1d796
pushq $0x40
popq %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
leaq 0x19e11(%rip), %rsi     # 0x1d7a8
movq %rbx, %rdi
movl $0x80, %edx
xorl %eax, %eax
callq 0x31a0
leaq 0x19e0d(%rip), %rsi     # 0x1d7ba
movq %rbx, %rdi
movl $0x100, %edx            # imm = 0x100
xorl %eax, %eax
callq 0x31a0
leaq 0x19e0e(%rip), %rsi     # 0x1d7d1
movq %rbx, %rdi
movl $0x200, %edx            # imm = 0x200
xorl %eax, %eax
callq 0x31a0
leaq 0x19e09(%rip), %rsi     # 0x1d7e2
movq %rbx, %rdi
movl $0x400, %edx            # imm = 0x400
xorl %eax, %eax
callq 0x31a0
leaq 0x19e04(%rip), %rsi     # 0x1d7f3
movq %rbx, %rdi
movl $0x800, %edx            # imm = 0x800
xorl %eax, %eax
callq 0x31a0
leaq 0x19e06(%rip), %rsi     # 0x1d80b
movq %rbx, %rdi
movl $0x1000, %edx           # imm = 0x1000
xorl %eax, %eax
callq 0x31a0
leaq 0x19e09(%rip), %rsi     # 0x1d824
movq %rbx, %rdi
movl $0x2000, %edx           # imm = 0x2000
xorl %eax, %eax
callq 0x31a0
leaq 0x19e09(%rip), %rsi     # 0x1d83a
movq %rbx, %rdi
movl $0x4000, %edx           # imm = 0x4000
xorl %eax, %eax
callq 0x31a0
leaq 0x19e05(%rip), %rsi     # 0x1d84c
movq %rbx, %rdi
movl $0x20000, %edx          # imm = 0x20000
xorl %eax, %eax
callq 0x31a0
leaq 0x19e05(%rip), %rsi     # 0x1d862
movq %rbx, %rdi
movl $0x40000, %edx          # imm = 0x40000
xorl %eax, %eax
callq 0x31a0
leaq 0x19e02(%rip), %rsi     # 0x1d875
movq %rbx, %rdi
movl $0x8000, %edx           # imm = 0x8000
xorl %eax, %eax
callq 0x31a0
leaq 0x19dff(%rip), %rdi     # 0x1d888
pushq $0x30
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x3280
movq 0x3375a(%rip), %rdx     # 0x371f8
leaq 0x19e14(%rip), %rsi     # 0x1d8b9
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31a0
movq %rsp, %r15
movq %r15, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x3170
testq %rax, %rax
je 0x3ad4
movq %r15, %rdi
movq %rbx, %rsi
callq 0x3140
jmp 0x3ab2
movq %r14, %rdi
callq 0x30c0
addq $0x408, %rsp            # imm = 0x408
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x33503(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
movq 0x336f9(%rip), %rdx     # 0x371f8
leaq 0x19a9f(%rip), %rsi     # 0x1d5a5
xorl %eax, %eax
addq $0x408, %rsp            # imm = 0x408
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x31a0