// File: /workspace/github_cpp_makefile_star2_O1/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 0x4e7f(%rip), %rsi      # 0x2bc98
movl $0x17, %edx
callq 0x62d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %r15, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %r15
leaq 0x4e5c(%rip), %rsi      # 0x2bcb0
movl $0x12, %edx
movq %rax, %rdi
callq 0x62d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %r15, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %r15
leaq 0x4e31(%rip), %rsi      # 0x2bcc3
movl $0x10, %edx
movq %rax, %rdi
callq 0x62d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %r15, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %r15
leaq 0x4e04(%rip), %rsi      # 0x2bcd4
movl $0xa, %edx
movq %rax, %rdi
callq 0x62d0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %r15, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %r15
leaq 0x4dd1(%rip), %rsi      # 0x2bcdf
movl $0x13, %edx
movq %rax, %rdi
callq 0x62d0
leaq (%r14,%r14,4), %rax
leaq 0x14(,%rax,2), %rsi
movq %r15, %rdi
callq 0x61a0
movq %rax, %r15
leaq 0x4fa5(%rip), %r14      # 0x2bede
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x62d0
leaq (%rbx,%rbx,4), %rax
leaq 0x14(,%rax,2), %rsi
movq %r15, %rdi
callq 0x61a0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %rbx
leaq 0x4d62(%rip), %rsi      # 0x2bcf3
movl $0xd, %edx
movq %rax, %rdi
callq 0x62d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %rbx
leaq 0x4d32(%rip), %rsi      # 0x2bd01
movl $0xb, %edx
movq %rax, %rdi
callq 0x62d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %rbx
leaq 0x4d00(%rip), %rsi      # 0x2bd0d
movl $0xb, %edx
movq %rax, %rdi
callq 0x62d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
callq 0x61b0
movq %rax, %rbx
leaq 0x4cce(%rip), %rsi      # 0x2bd19
movl $0xf, %edx
movq %rax, %rdi
callq 0x62d0
movq %rbx, %rdi
movl $0xa, %esi
callq 0x6430
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
movq %r14, %rsi
callq 0x62d0
movq %rbx, %rdi
movl $0xa, %esi
callq 0x6430
movq %rax, %rbx
leaq 0x4c9a(%rip), %rsi      # 0x2bd29
movl $0xa, %edx
movq %rax, %rdi
callq 0x62d0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x6250
movsbl %al, %esi
movq %rbx, %rdi
callq 0x6040
movq %rax, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x61b0