// File: 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
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdx, -0xd8(%rbp)
movq %rsi, %rax
movq -0xd8(%rbp), %rsi
movq %rax, -0xd0(%rbp)
movq %rdi, %rax
movq -0xd0(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
movq %rsi, -0xc0(%rbp)
movq %rax, -0x8(%rbp)
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
callq 0x3ec00
testb $0x1, %al
jne 0x3de12
jmp 0x3de27
movq -0x8(%rbp), %rdi
leaq 0x35084(%rip), %rsi     # 0x72ea1
callq 0x82b0
jmp 0x3e164
movq -0xc8(%rbp), %rdi
leaq 0x679ab(%rip), %rsi     # 0xa57e0
callq 0x3ec00
testb $0x1, %al
jne 0x3de40
jmp 0x3de86
movl $0x8, %edi
callq 0x8160
movq %rax, %rdi
movq %rdi, -0xe0(%rbp)
xorl %esi, %esi
movl $0x8, %edx
callq 0x8190
movq -0xe0(%rbp), %rdi
callq 0x1afc0
movq -0xe0(%rbp), %rdi
leaq 0x6564e(%rip), %rsi     # 0xa34c8
leaq -0x22e81(%rip), %rdx    # 0x1b000
callq 0x84b0
movq -0xc8(%rbp), %rdi
callq 0x1b020
addq $0x20, %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x1b040
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x1b070
movq %rax, -0x30(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x1b0a0
testb $0x1, %al
jne 0x3deca
jmp 0x3e026
leaq -0x28(%rbp), %rdi
callq 0x1b0e0
movq %rax, %rsi
leaq -0x40(%rbp), %rdi
callq 0x1b100
movq -0x8(%rbp), %rdi
leaq 0x34fb7(%rip), %rsi     # 0x72ea1
callq 0x82b0
movq %rax, -0xe8(%rbp)
jmp 0x3def8
leaq -0x60(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
leaq -0x40(%rbp), %rsi
callq 0x1b100
movq -0xe8(%rbp), %rdi
movq -0xf8(%rbp), %rsi
callq 0x410b0
movq %rax, -0xf0(%rbp)
jmp 0x3df28
leaq 0x67a39(%rip), %rsi     # 0xa5968
addq $0x90, %rsi
leaq -0x88(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0x11380
movq -0x100(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x113d0
jmp 0x3df5b
movq -0xf0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x29150
movq %rax, -0x108(%rbp)
jmp 0x3df74
leaq -0x40(%rbp), %rdi
callq 0x11830
movq -0x108(%rbp), %rdi
movq 0x10(%rax), %rsi
callq 0x8280
jmp 0x3df8f
leaq -0x70(%rbp), %rdi
callq 0x114d0
leaq -0x88(%rbp), %rdi
callq 0x114f0
leaq -0x60(%rbp), %rdi
callq 0x10f20
leaq -0x40(%rbp), %rdi
callq 0x10f20
leaq -0x28(%rbp), %rdi
callq 0x1b390
jmp 0x3deb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x3e018
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x3e00f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x3e003
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x114d0
leaq -0x88(%rbp), %rdi
callq 0x114f0
leaq -0x60(%rbp), %rdi
callq 0x10f20
leaq -0x40(%rbp), %rdi
callq 0x10f20
jmp 0x3e171
movq -0xc8(%rbp), %rdi
callq 0x1b020
movq %rax, %rdi
addq $0x10, %rdi
callq 0x29750
testb $0x1, %al
jne 0x3e0bf
movq -0x8(%rbp), %rdi
leaq 0x34e54(%rip), %rsi     # 0x72ea1
callq 0x82b0
movq -0xc8(%rbp), %rdi
movq %rax, -0x118(%rbp)
callq 0x1b020
movq %rax, %rsi
addq $0x10, %rsi
leaq -0x98(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0x11030
movq -0x118(%rbp), %rdi
movq -0x110(%rbp), %rsi
callq 0x40060
jmp 0x3e094
leaq -0x98(%rbp), %rdi
callq 0x11060
jmp 0x3e0bf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x11060
jmp 0x3e171
movq -0xc8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq %rax, -0x130(%rbp)
callq 0x1b020
movq %rax, %rsi
leaq -0xa8(%rbp), %rdi
movq %rdi, -0x128(%rbp)
callq 0x173b0
movq -0xc0(%rbp), %rsi
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0x173b0
movq -0x130(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq -0x120(%rbp), %rdx
callq 0x3ddc0
jmp 0x3e122
leaq -0xb8(%rbp), %rdi
callq 0x14b20
leaq -0xa8(%rbp), %rdi
callq 0x14b20
jmp 0x3e162
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x14b20
leaq -0xa8(%rbp), %rdi
callq 0x14b20
jmp 0x3e171
jmp 0x3e164
movq -0x8(%rbp), %rax
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0x84d0
nopw (%rax,%rax)