// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/src/env.cpp
// Function: lois::displaycontext(std::ostream&, std::shared_ptr<lois::Context>, std::shared_ptr<lois::Context>)
std::ostream& displaycontext(std::ostream& os, contextptr what, contextptr upto) {
  if(what == upto) os << "|";
  else if(what == emptycontext) throw env_exception();
  else {
    for(auto w: what->var) os << "|" << w << sym.in << w->dom->name;
    if(!what->phi.isTrue()) os << "|" << what->phi;
    displaycontext(os, what->parent, upto);
    }
  return os;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq %rdi, %rbx
movq (%rsi), %rax
cmpq (%rdx), %rax
je 0x289be
cmpq 0x29f99(%rip), %rax     # 0x52760
je 0x28a95
movq %rdx, %r14
movq %rsi, %r15
movq 0x20(%rax), %r12
movq 0x28(%rax), %r13
cmpq %r13, %r12
je 0x2896f
movq %r15, 0x78(%rsp)
movq %r14, 0x80(%rsp)
movq (%r12), %r14
movq 0x8(%r12), %r15
testq %r15, %r15
je 0x28816
movq 0x297c2(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x28811
incl 0x8(%r15)
jmp 0x28816
lock
incl 0x8(%r15)
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x175b0(%rip), %rsi     # 0x3fdd5
callq 0x72c0
movq %r14, 0x48(%rsp)
movq %r15, 0x50(%rsp)
testq %r15, %r15
je 0x28850
movq 0x29788(%rip), %rax     # 0x51fc8
cmpb $0x0, (%rax)
je 0x2884b
incl 0x8(%r15)
jmp 0x28850
lock
incl 0x8(%r15)
movq %rbx, %rdi
leaq 0x48(%rsp), %rsi
callq 0x2a2f4
movq %rax, %rbp
leaq 0x27bc1(%rip), %rax     # 0x50428
movq %rax, (%rsp)
leaq 0x2a07e(%rip), %rax     # 0x528f0
movq 0x98(%rax), %rcx
movq 0xa0(%rax), %rax
movq %rcx, 0x8(%rsp)
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x288a4
movq 0x29732(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x288a0
incl 0x8(%rax)
jmp 0x288a4
lock
incl 0x8(%rax)
leaq 0x88(%rsp), %rdi
movq %rsp, %rsi
callq 0x106b8
movq 0x88(%rsp), %rsi
movq (%rsi), %rax
leaq 0x58(%rsp), %rdi
callq *(%rax)
movq 0x58(%rsp), %rsi
movq 0x60(%rsp), %rdx
movq %rbp, %rdi
callq 0x72c0
movq %rax, %rbp
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x288f7
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x10(%r14), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq %rbp, %rdi
callq 0x72c0
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x2891c
callq 0x133fc
leaq 0x27b05(%rip), %rax     # 0x50428
movq %rax, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x28936
callq 0x133fc
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x28945
callq 0x133fc
testq %r15, %r15
je 0x28952
movq %r15, %rdi
callq 0x133fc
addq $0x10, %r12
cmpq %r13, %r12
jne 0x287f1
movq 0x78(%rsp), %r15
movq (%r15), %rax
movq 0x80(%rsp), %r14
movq 0x10(%rax), %rax
leaq 0x29e36(%rip), %rcx     # 0x527b0
cmpq (%rcx), %rax
je 0x289f7
leaq 0x1744f(%rip), %rsi     # 0x3fdd5
movl $0x1, %edx
movq %rbx, %rdi
callq 0x72c0
movq (%r15), %rax
movq 0x10(%rax), %rcx
movq %rcx, 0x38(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0x289db
movq 0x29614(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x289d7
incl 0x8(%rax)
jmp 0x289db
leaq 0x17410(%rip), %rsi     # 0x3fdd5
movl $0x1, %edx
movq %rbx, %rdi
callq 0x72c0
jmp 0x28a80
lock
incl 0x8(%rax)
leaq 0x38(%rsp), %rsi
movq %rbx, %rdi
callq 0x297cc
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x289f7
callq 0x133fc
movq (%r15), %rax
movq (%rax), %rcx
movq %rcx, 0x28(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x28a25
movq 0x295b1(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x28a21
incl 0x8(%rax)
jmp 0x28a25
lock
incl 0x8(%rax)
movq (%r14), %rax
movq %rax, 0x18(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x28a50
movq 0x29586(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x28a4c
incl 0x8(%rax)
jmp 0x28a50
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rsi
leaq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0x287a0
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x28a71
callq 0x133fc
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x28a80
callq 0x133fc
movq %rbx, %rax
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x8, %edi
callq 0x7150
leaq 0x27a7a(%rip), %rcx     # 0x50520
movq %rcx, (%rax)
leaq 0x27a48(%rip), %rsi     # 0x504f8
movq 0x29529(%rip), %rdx     # 0x51fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0x40(%rsp), %r15
jmp 0x28b53
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x28ade
callq 0x133fc
movq 0x30(%rsp), %r15
jmp 0x28b53
movq %rax, %rbx
jmp 0x28b53
movq %rax, %rbx
jmp 0x28b44
movq %rax, %rbx
jmp 0x28b2a
movq %rax, %rbx
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x28b18
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x28b18
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x28b2a
callq 0x133fc
leaq 0x278f7(%rip), %rax     # 0x50428
movq %rax, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x28b44
callq 0x133fc
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x28b53
callq 0x133fc
testq %r15, %r15
je 0x28b60
movq %r15, %rdi
callq 0x133fc
movq %rbx, %rdi
callq 0x7430