// File: /workspace/github_cpp_makefile_star2_O1/UBOdin[P]jitd-cpp/include/policy/PureLocalPolicy.hpp
// Function: PureLocalPolicy<Record>::act()
inline bool act(){
      if(todos.empty()){ return false; }
      Action<Tuple> next = todos.top(); todos.pop();
      CogPtr<Tuple> target = next.target->get();
      CogPtr<Tuple> replacement = target;
      if(next.effect(replacement)){
        target->apply_to_children(std::bind(&PureLocalPolicy::dequeueCog, this, std::placeholders::_1));
        next.target->put(replacement);
        enqueueCog(next.target);
      }
      return true;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movq (%rdi), %r15
movq 0x8(%rdi), %r13
cmpq %r13, %r15
je 0xc6c9
movq %rdi, %rbx
movq (%r15), %rax
movq %rax, -0x98(%rbp)
movq 0x8(%r15), %rax
movq %rax, -0x90(%rbp)
testq %rax, %rax
je 0xc480
movq 0xcb4e(%rip), %rcx      # 0x18fc0
cmpb $0x0, (%rcx)
je 0xc47c
incl 0x8(%rax)
jmp 0xc480
lock
incl 0x8(%rax)
leaq -0x88(%rbp), %rdi
leaq 0x10(%r15), %rsi
callq 0xdf46
movl 0x30(%r15), %eax
movl %eax, -0x68(%rbp)
movq %rbx, -0x50(%rbp)
movq %rbx, %rdi
callq 0xd440
movq -0x98(%rbp), %rbx
leaq -0x48(%rbp), %rdi
movq %rbx, %rsi
callq 0x4340
movq (%rbx), %r12
movq 0x8(%rbx), %rbx
testq %rbx, %rbx
je 0xc4d7
movq 0xcaf7(%rip), %rax      # 0x18fc0
cmpb $0x0, (%rax)
je 0xc4d3
incl 0x8(%rbx)
jmp 0xc4d7
lock
incl 0x8(%rbx)
leaq -0x48(%rbp), %r14
movq %r14, %rdi
callq 0x42e0
movq %r12, (%r14)
movq %rbx, 0x8(%r14)
testq %rbx, %rbx
je 0xc504
movq 0xcaca(%rip), %rax      # 0x18fc0
cmpb $0x0, (%rax)
je 0xc500
incl 0x8(%rbx)
jmp 0xc504
lock
incl 0x8(%rbx)
cmpq $0x0, -0x78(%rbp)
je 0xc6e1
leaq -0x48(%rbp), %rsi
leaq -0x88(%rbp), %rdi
callq *-0x70(%rbp)
testb %al, %al
je 0xc683
xorps %xmm0, %xmm0
movaps %xmm0, -0xb0(%rbp)
movaps %xmm0, -0xc0(%rbp)
movl $0x18, %edi
movq %rbx, -0x30(%rbp)
callq 0x4270
leaq 0x2667(%rip), %rcx      # 0xebb2
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movq -0x50(%rbp), %rcx
movq %rcx, 0x10(%rax)
leaq -0xc0(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x1bc1(%rip), %rax      # 0xe130
movq %rax, 0x18(%rsi)
leaq 0x1bca(%rip), %rax      # 0xe144
movq %rax, 0x10(%rsi)
movq (%r12), %rax
movq %r12, %rdi
callq *0x10(%rax)
movq %r13, -0xa0(%rbp)
movq -0xb0(%rbp), %rax
testq %rax, %rax
je 0xc5ac
leaq -0xc0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq -0x98(%rbp), %r13
movq -0x48(%rbp), %r14
movq -0x40(%rbp), %r12
testq %r12, %r12
je 0xc5f0
movq 0xc9f9(%rip), %rax      # 0x18fc0
cmpb $0x0, (%rax)
je 0xc5d3
incl 0x8(%r12)
jmp 0xc5d9
lock
incl 0x8(%r12)
testq %r12, %r12
je 0xc5f0
cmpb $0x0, (%rax)
je 0xc5ea
incl 0x8(%r12)
jmp 0xc5f0
lock
incl 0x8(%r12)
leaq -0x32(%rbp), %rbx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x4340
movq %r14, (%r13)
movq 0x8(%r13), %r14
movq %r12, 0x8(%r13)
movq %rbx, %rdi
callq 0x42e0
testq %r14, %r14
je 0xc620
movq %r14, %rdi
callq 0x6810
testq %r12, %r12
movq -0xa0(%rbp), %r13
movq -0x30(%rbp), %rbx
je 0xc638
movq %r12, %rdi
callq 0x6810
movq -0x98(%rbp), %rcx
movq -0x90(%rbp), %rax
movq %rcx, -0x60(%rbp)
movq %rax, -0x58(%rbp)
testq %rax, %rax
je 0xc668
movq 0xc966(%rip), %rcx      # 0x18fc0
cmpb $0x0, (%rcx)
je 0xc664
incl 0x8(%rax)
jmp 0xc668
lock
incl 0x8(%rax)
leaq -0x60(%rbp), %rsi
movq -0x50(%rbp), %rdi
callq 0xd488
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0xc683
callq 0x6810
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0xc691
callq 0x6810
testq %rbx, %rbx
je 0xc69e
movq %rbx, %rdi
callq 0x6810
movq -0x78(%rbp), %rax
testq %rax, %rax
je 0xc6b8
leaq -0x88(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq -0x90(%rbp), %rdi
testq %rdi, %rdi
je 0xc6c9
callq 0x6810
cmpq %r13, %r15
setne %al
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x40d0
jmp 0xc721
movq %rax, %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0xc74b
callq 0x6810
jmp 0xc74b
movq %rax, %r14
movq -0xb0(%rbp), %rax
testq %rax, %rax
je 0xc74b
leaq -0xc0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0xc74b
jmp 0xc721
jmp 0xc748
movq %rax, %rdi
callq 0x4d4d
movq %rax, %r14
jmp 0xc769
movq %rax, %r14
movq -0x90(%rbp), %rdi
testq %rdi, %rdi
je 0xc775
callq 0x6810
jmp 0xc775
movq %rbx, -0x30(%rbp)
movq %rax, %r14
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0xc759
callq 0x6810
cmpq $0x0, -0x30(%rbp)
je 0xc769
movq -0x30(%rbp), %rdi
callq 0x6810
leaq -0x98(%rbp), %rdi
callq 0xd9a0
movq %r14, %rdi
callq 0x4400
nop