// File: /workspace/github_c_makefile_star2_O1/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 0x1a5d(%rip), %r15      # 0x680a
leaq 0x19e6(%rip), %rdx      # 0x679a
leaq 0x1a5a(%rip), %r13      # 0x6815
xorl %ebp, %ebp
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19cf(%rip), %rdx      # 0x67a0
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19bd(%rip), %rdx      # 0x67a5
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x19ab(%rip), %rsi      # 0x67aa
movq %rbx, %rdi
movl %r12d, %edx
xorl %eax, %eax
callq 0x2180
leaq 0x19a5(%rip), %rdx      # 0x67b8
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1993(%rip), %rdx      # 0x67bd
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1982(%rip), %rdx      # 0x67c3
movq %rbx, %rdi
movq %r15, %rsi
movq %r13, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1970(%rip), %rdx      # 0x67c8
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 0x1934(%rip), %rdx      # 0x67ce
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2180
andl $-0x10, %r13d
subl %r13d, %r12d
movslq %r12d, %rax
leaq 0x1548(%rip), %rcx      # 0x6400
movslq (%rcx,%rax,4), %rax
leaq 0x152d(%rip), %rdx      # 0x63f0
movslq (%rdx,%rax,4), %rcx
addq %rdx, %rcx
leaq 0x1904(%rip), %rdx      # 0x67d5
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x2180
leaq 0x18fb(%rip), %rdi      # 0x67e0
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 0x1898(%rip), %rdi      # 0x67b4
movl $0x3, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x21f0
leaq 0x18d5(%rip), %r14      # 0x680a
leaq 0x18ad(%rip), %rdx      # 0x67e9
leaq 0x18d2(%rip), %r15      # 0x6815
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1897(%rip), %rdx      # 0x67f1
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x1889(%rip), %rdx      # 0x67fa
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rcx
xorl %eax, %eax
callq 0x2180
leaq 0x187b(%rip), %rdx      # 0x6803
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