// File: /workspace/github_cpp_makefile_star2_O3/bonetblai[P]mdp-engine/race/parsing.cc
// Function: ps::header(std::ostream&, unsigned long, unsigned long)
void header(ostream &os, size_t rows, size_t cols) {
    os << "%!PS-Adobe-2.0 EPSF-1.2" << endl
       << "%%Creator: unknown" << endl
       << "%%DocumentFonts:" << endl
       << "%%Pages: 1" << endl
       << "%%BoundingBox: 0 0 " << (cols+2)*BOXW << " " << (rows+2)*BOXW << endl
       << "%%EndComments" << endl
       << "%%EndProlog" << endl
       << "%%Page: 1 1" << endl
       << "0 setlinewidth " << BOXW << " " << BOXW << " translate" << endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, %r15
leaq 0x5b23(%rip), %rsi      # 0x2ac38
movl $0x17, %edx
callq 0x52d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %r15
leaq 0x5b00(%rip), %rsi      # 0x2ac50
movl $0x12, %edx
movq %rax, %rdi
callq 0x52d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %r15
leaq 0x5ad5(%rip), %rsi      # 0x2ac63
movl $0x10, %edx
movq %rax, %rdi
callq 0x52d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %r15
leaq 0x5aa8(%rip), %rsi      # 0x2ac74
movl $0xa, %edx
movq %rax, %rdi
callq 0x52d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %r15, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %r15
leaq 0x5a75(%rip), %rsi      # 0x2ac7f
movl $0x13, %edx
movq %rax, %rdi
callq 0x52d0
leaq (%r14,%r14,4), %rax
leaq 0x14(,%rax,2), %rsi
movq %r15, %rdi
callq 0x51a0
movq %rax, %r15
leaq 0x5c49(%rip), %r14      # 0x2ae7e
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x52d0
leaq (%rbx,%rbx,4), %rax
leaq 0x14(,%rax,2), %rsi
movq %r15, %rdi
callq 0x51a0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %rbx
leaq 0x5a06(%rip), %rsi      # 0x2ac93
movl $0xd, %edx
movq %rax, %rdi
callq 0x52d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %rbx
leaq 0x59d6(%rip), %rsi      # 0x2aca1
movl $0xb, %edx
movq %rax, %rdi
callq 0x52d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %rbx
leaq 0x59a4(%rip), %rsi      # 0x2acad
movl $0xb, %edx
movq %rax, %rdi
callq 0x52d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x51b0
movq %rax, %rbx
leaq 0x5972(%rip), %rsi      # 0x2acb9
movl $0xf, %edx
movq %rax, %rdi
callq 0x52d0
movq %rbx, %rdi
movl $0xa, %esi
callq 0x5430
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x52d0
movq %rbx, %rdi
movl $0xa, %esi
callq 0x5430
movq %rax, %rbx
leaq 0x593e(%rip), %rsi      # 0x2acc9
movl $0xa, %edx
movq %rax, %rdi
callq 0x52d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x51b0