// File: /workspace/github_c_makefile_star2_O1/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 %r15
pushq %r14
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
movq %rdi, %rbx
movq 0x337bb(%rip), %rdi     # 0x381e8
leaq 0x2af1b(%rip), %rsi     # 0x2f94f
callq 0x3210
testq %rax, %rax
je 0x4e9d
movq %rax, %r14
movq 0x3379c(%rip), %rdx     # 0x381e8
leaq 0x1ab67(%rip), %rsi     # 0x1f5ba
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3190
leaq 0x1ab71(%rip), %rdi     # 0x1f5d5
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab64(%rip), %rdi     # 0x1f5e1
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab58(%rip), %rdi     # 0x1f5ee
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab4b(%rip), %rdi     # 0x1f5fa
movl $0xb, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab3e(%rip), %rdi     # 0x1f606
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab33(%rip), %rdi     # 0x1f614
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab27(%rip), %rdi     # 0x1f621
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab1b(%rip), %rdi     # 0x1f62e
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab0f(%rip), %rdi     # 0x1f63b
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1ab04(%rip), %rdi     # 0x1f649
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aaf9(%rip), %rdi     # 0x1f657
movl $0x12, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aaf3(%rip), %rdi     # 0x1f66a
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aae7(%rip), %rdi     # 0x1f677
movl $0xc, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aadb(%rip), %rdi     # 0x1f684
movl $0x13, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aad6(%rip), %rdi     # 0x1f698
movl $0x14, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aad2(%rip), %rdi     # 0x1f6ad
movl $0x11, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aacb(%rip), %rdi     # 0x1f6bf
movl $0xd, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aac0(%rip), %rdi     # 0x1f6cd
movl $0x11, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aab9(%rip), %rdi     # 0x1f6df
movl $0xe, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aaaf(%rip), %rdi     # 0x1f6ee
movl $0x12, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aaa9(%rip), %rdi     # 0x1f701
movl $0xe, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
leaq 0x1aa9f(%rip), %rsi     # 0x1f710
movq %rbx, %rdi
xorl %edx, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa9d(%rip), %rsi     # 0x1f721
movq %rbx, %rdi
movl $0xfffff, %edx          # imm = 0xFFFFF
xorl %eax, %eax
callq 0x3190
leaq 0x1aa97(%rip), %rsi     # 0x1f731
movq %rbx, %rdi
movl $0x1, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa91(%rip), %rsi     # 0x1f741
movq %rbx, %rdi
movl $0x2, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa8d(%rip), %rsi     # 0x1f753
movq %rbx, %rdi
movl $0x4, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa87(%rip), %rsi     # 0x1f763
movq %rbx, %rdi
movl $0x8, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa82(%rip), %rsi     # 0x1f774
movq %rbx, %rdi
movl $0x10, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa7d(%rip), %rsi     # 0x1f785
movq %rbx, %rdi
movl $0x20, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa78(%rip), %rsi     # 0x1f796
movq %rbx, %rdi
movl $0x40, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa74(%rip), %rsi     # 0x1f7a8
movq %rbx, %rdi
movl $0x80, %edx
xorl %eax, %eax
callq 0x3190
leaq 0x1aa70(%rip), %rsi     # 0x1f7ba
movq %rbx, %rdi
movl $0x100, %edx            # imm = 0x100
xorl %eax, %eax
callq 0x3190
leaq 0x1aa71(%rip), %rsi     # 0x1f7d1
movq %rbx, %rdi
movl $0x200, %edx            # imm = 0x200
xorl %eax, %eax
callq 0x3190
leaq 0x1aa6c(%rip), %rsi     # 0x1f7e2
movq %rbx, %rdi
movl $0x400, %edx            # imm = 0x400
xorl %eax, %eax
callq 0x3190
leaq 0x1aa67(%rip), %rsi     # 0x1f7f3
movq %rbx, %rdi
movl $0x800, %edx            # imm = 0x800
xorl %eax, %eax
callq 0x3190
leaq 0x1aa69(%rip), %rsi     # 0x1f80b
movq %rbx, %rdi
movl $0x1000, %edx           # imm = 0x1000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa6c(%rip), %rsi     # 0x1f824
movq %rbx, %rdi
movl $0x2000, %edx           # imm = 0x2000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa6c(%rip), %rsi     # 0x1f83a
movq %rbx, %rdi
movl $0x4000, %edx           # imm = 0x4000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa68(%rip), %rsi     # 0x1f84c
movq %rbx, %rdi
movl $0x20000, %edx          # imm = 0x20000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa68(%rip), %rsi     # 0x1f862
movq %rbx, %rdi
movl $0x40000, %edx          # imm = 0x40000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa65(%rip), %rsi     # 0x1f875
movq %rbx, %rdi
movl $0x8000, %edx           # imm = 0x8000
xorl %eax, %eax
callq 0x3190
leaq 0x1aa62(%rip), %rdi     # 0x1f888
movl $0x30, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
movq 0x333a9(%rip), %rdx     # 0x381e8
leaq 0x1aa73(%rip), %rsi     # 0x1f8b9
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3190
movq %rsp, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x3170
testq %rax, %rax
je 0x4e88
movq %rsp, %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x3140
movq %r15, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x3170
testq %rax, %rax
jne 0x4e68
movq %r14, %rdi
callq 0x30c0
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r14
popq %r15
retq
callq 0x32a0
jmp 0x4e90