// File: /workspace/github_c_makefile_star2_O3/hansvanstaveren[P]BigDeal/output.c
// Function: print_pbn
static void
print_pbn(FILE *out, int boardno, hr_p hrp) {
	dl_byh *dbhp = hrp->hr_value.hv_dbhp;

	out_pbn_rec(out,"Event", 0);
	out_pbn_rec(out,"Site", 0);
	out_pbn_rec(out,"Date", 0);
	fprintf(out, "[Board \"%d\"]\n", boardno);
	out_pbn_rec(out,"West", 0);
	out_pbn_rec(out,"North", 0);
	out_pbn_rec(out,"East", 0);
	out_pbn_rec(out,"South", 0);
	out_pbn_rec(out,"Dealer", dealerstr[boardno%4]);
	out_pbn_rec(out,"Vulnerable", pbn_vulnrep[vuln_index[boardno%16]]);
	fprintf(out, "[Deal \"N");
	out_pbn(out, dbhp);
	fprintf(out, "\"]\n");
	out_pbn_rec(out,"Scoring", 0);
	out_pbn_rec(out,"Declarer", 0);
	out_pbn_rec(out,"Contract", 0);
	out_pbn_rec(out,"Result", 0);
	fprintf(out, "\n");
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %esi, %r12d
movq %rdi, %rbx
movq 0x8(%rdx), %r14
leaq 0x1a9d(%rip), %r15      # 0x684a
leaq 0x1a26(%rip), %rdx      # 0x67da
leaq 0x1a9a(%rip), %r13      # 0x6855
xorl %ebp, %ebp
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1a0f(%rip), %rdx      # 0x67e0
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19fd(%rip), %rdx      # 0x67e5
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19eb(%rip), %rsi      # 0x67ea
movq %rbx, %rdi
movl %r12d, %edx
xorl %eax, %eax
callq 0x2180
leaq 0x19e5(%rip), %rdx      # 0x67f8
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19d3(%rip), %rdx      # 0x67fd
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19c2(%rip), %rdx      # 0x6803
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19b0(%rip), %rdx      # 0x6808
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leal 0x3(%r12), %eax
leal 0xf(%r12), %r13d
testl %r12d, %r12d
cmovnsl %r12d, %eax
cmovnsl %r12d, %r13d
andl $-0x4, %eax
movl %r12d, %ecx
subl %eax, %ecx
movslq %ecx, %rax
leaq 0x3f21(%rip), %rcx      # 0x8db0
movq (%rcx,%rax,8), %rcx
leaq 0x1974(%rip), %rdx      # 0x680e
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2180
andl $-0x10, %r13d
subl %r13d, %r12d
movslq %r12d, %rax
leaq 0x1588(%rip), %rcx      # 0x6440
movslq (%rcx,%rax,4), %rax
leaq 0x156d(%rip), %rdx      # 0x6430
movslq (%rdx,%rax,4), %rcx
addq %rdx, %rcx
leaq 0x1944(%rip), %rdx      # 0x6815
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2180
leaq 0x193b(%rip), %rdi      # 0x6820
movl $0x8, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x21f0
leaq 0x4832(%rip), %r15      # 0x9730
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
movl %ebp, %ecx
callq 0x539d
incl %ebp
cmpl $0x4, %ebp
jne 0x4efe
leaq 0x18d8(%rip), %rdi      # 0x67f4
movl $0x3, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x21f0
leaq 0x1915(%rip), %r14      # 0x684a
leaq 0x18ed(%rip), %rdx      # 0x6829
leaq 0x1912(%rip), %r15      # 0x6855
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x18d7(%rip), %rdx      # 0x6831
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x18c9(%rip), %rdx      # 0x683a
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x18bb(%rip), %rdx      # 0x6843
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
movl $0xa, %edi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2120