// File: /workspace/github_cpp_makefile_star2_O1/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 0x28868
movq %rsi, 0x78(%rsp)
movq %rdx, 0x80(%rsp)
cmpq 0x2b0d8(%rip), %rax     # 0x53760
je 0x2893f
movq 0x20(%rax), %r12
movq 0x28(%rax), %r13
cmpq %r13, %r12
je 0x28809
movq (%r12), %r14
movq 0x8(%r12), %r15
testq %r15, %r15
je 0x286c4
movq 0x2a914(%rip), %rax     # 0x52fc8
cmpb $0x0, (%rax)
je 0x286bf
incl 0x8(%r15)
jmp 0x286c4
lock
incl 0x8(%r15)
movl $0x1, %edx
movq %rbx, %rdi
leaq 0x18702(%rip), %rsi     # 0x40dd5
callq 0x72c0
movq %r14, 0x48(%rsp)
movq %r15, 0x50(%rsp)
testq %r15, %r15
je 0x286fe
movq 0x2a8da(%rip), %rax     # 0x52fc8
cmpb $0x0, (%rax)
je 0x286f9
incl 0x8(%r15)
jmp 0x286fe
lock
incl 0x8(%r15)
movq %rbx, %rdi
leaq 0x48(%rsp), %rsi
callq 0x2a0f7
movq %rax, %rbp
leaq 0x28ceb(%rip), %rax     # 0x51400
movq %rax, (%rsp)
leaq 0x2b1c8(%rip), %rax     # 0x538e8
movq 0x98(%rax), %rcx
movq 0xa0(%rax), %rax
movq %rcx, 0x8(%rsp)
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x28752
movq 0x2a884(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x2874e
incl 0x8(%rax)
jmp 0x28752
lock
incl 0x8(%rax)
leaq 0x88(%rsp), %rdi
movq %rsp, %rsi
callq 0x10644
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 0x287a5
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 0x287ca
callq 0x13308
leaq 0x28c2f(%rip), %rax     # 0x51400
movq %rax, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x287e4
callq 0x13308
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x287f3
callq 0x13308
testq %r15, %r15
je 0x28800
movq %r15, %rdi
callq 0x13308
addq $0x10, %r12
jmp 0x28696
movq 0x78(%rsp), %r15
movq (%r15), %rax
movq 0x10(%rax), %rax
leaq 0x2af94(%rip), %rcx     # 0x537b0
cmpq (%rcx), %rax
movq 0x80(%rsp), %r14
je 0x288a1
leaq 0x185a5(%rip), %rsi     # 0x40dd5
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 0x28885
movq 0x2a76a(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x28881
incl 0x8(%rax)
jmp 0x28885
leaq 0x18566(%rip), %rsi     # 0x40dd5
movl $0x1, %edx
movq %rbx, %rdi
callq 0x72c0
jmp 0x2892a
lock
incl 0x8(%rax)
leaq 0x38(%rsp), %rsi
movq %rbx, %rdi
callq 0x29634
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x288a1
callq 0x13308
movq (%r15), %rax
movq (%rax), %rcx
movq %rcx, 0x28(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x30(%rsp)
testq %rax, %rax
je 0x288cf
movq 0x2a707(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x288cb
incl 0x8(%rax)
jmp 0x288cf
lock
incl 0x8(%rax)
movq (%r14), %rax
movq %rax, 0x18(%rsp)
movq 0x8(%r14), %rax
movq %rax, 0x20(%rsp)
testq %rax, %rax
je 0x288fa
movq 0x2a6dc(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x288f6
incl 0x8(%rax)
jmp 0x288fa
lock
incl 0x8(%rax)
leaq 0x28(%rsp), %rsi
leaq 0x18(%rsp), %rdx
movq %rbx, %rdi
callq 0x28654
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x2891b
callq 0x13308
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x2892a
callq 0x13308
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 0x28ba8(%rip), %rcx     # 0x514f8
movq %rcx, (%rax)
leaq 0x28b76(%rip), %rsi     # 0x514d0
movq 0x2a67f(%rip), %rdx     # 0x52fe0
movq %rax, %rdi
callq 0x7400
movq %rax, %rbx
movq 0x40(%rsp), %r15
jmp 0x289fd
movq %rax, %rbx
movq 0x20(%rsp), %rdi
testq %rdi, %rdi
je 0x28988
callq 0x13308
movq 0x30(%rsp), %r15
jmp 0x289fd
movq %rax, %rbx
movq 0x58(%rsp), %rdi
leaq 0x68(%rsp), %rax
cmpq %rax, %rdi
je 0x289c2
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x289c2
movq %rax, %rbx
jmp 0x289ee
movq %rax, %rbx
jmp 0x289d4
movq %rax, %rbx
jmp 0x289fd
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x289d4
callq 0x13308
leaq 0x28a25(%rip), %rax     # 0x51400
movq %rax, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x289ee
callq 0x13308
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x289fd
callq 0x13308
testq %r15, %r15
je 0x28a0a
movq %r15, %rdi
callq 0x13308
movq %rbx, %rdi
callq 0x7430