// File: /workspace/github_c_makefile_star2_O1/georgeweigt[P]eigenmath/eigenmath.c
// Function: eval_status
void
eval_status(struct atom *p1)
{
	(void) p1; // silence compiler

	outbuf_init();

	snprintf(strbuf, STRBUFLEN, "block_count %d (%d%%)\n", block_count, 100 * block_count / MAXBLOCKS);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "free_count %d\n", free_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "gc_count %d\n", gc_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "bignum_count %d\n", bignum_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "ksym_count %d\n", ksym_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "usym_count %d\n", usym_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "string_count %d\n", string_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "tensor_count %d\n", tensor_count);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "max_eval_level %d\n", max_eval_level);
	outbuf_puts(strbuf);

	snprintf(strbuf, STRBUFLEN, "max_tos %d (%d%%)\n", max_tos, 100 * max_tos / STACKSIZE);
	outbuf_puts(strbuf);

	printbuf(outbuf, BLACK);

	push_symbol(NIL);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movl $0x0, 0xf25be(%rip)     # 0x1117f8
leaq 0xbc8a(%rip), %rdi      # 0x2aecb
callq 0x14c8d
movslq 0x1b067(%rip), %rcx     # 0x3a2b4
imulq $0x66666667, %rcx, %r8  # imm = 0x66666667
movq %r8, %rax
shrq $0x3f, %rax
sarq $0x23, %r8
addl %eax, %r8d
leaq 0xf26a7(%rip), %rbx     # 0x111910
leaq 0xb7ee(%rip), %rdx      # 0x2aa5e
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0x1b013(%rip), %ecx     # 0x3a2a0
leaq 0xb7e1(%rip), %rdx      # 0x2aa75
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0xf212f(%rip), %ecx     # 0x1113e0
leaq 0xb7cc(%rip), %rdx      # 0x2aa84
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0x1ee87(%rip), %ecx     # 0x3e15c
leaq 0xb7b5(%rip), %rdx      # 0x2aa91
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0xf20eb(%rip), %ecx     # 0x1113e4
leaq 0xb7a2(%rip), %rdx      # 0x2aaa2
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0xf20cb(%rip), %ecx     # 0x1113e8
leaq 0xb78d(%rip), %rdx      # 0x2aab1
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0x1ee0b(%rip), %ecx     # 0x3e14c
leaq 0xb778(%rip), %rdx      # 0x2aac0
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0x1ede3(%rip), %ecx     # 0x3e148
leaq 0xb765(%rip), %rdx      # 0x2aad1
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movl 0xe7743(%rip), %ecx     # 0x106acc
leaq 0xb752(%rip), %rdx      # 0x2aae2
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movslq 0xf203e(%rip), %rcx     # 0x1113ec
imulq $0x10624dd3, %rcx, %r8  # imm = 0x10624DD3
movq %r8, %rax
shrq $0x3f, %rax
sarq $0x26, %r8
addl %eax, %r8d
leaq 0xb72b(%rip), %rdx      # 0x2aaf5
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x14c8d
movq 0xf1fe0(%rip), %rdi     # 0x1113c8
movq 0x13be1(%rip), %rax     # 0x32fd0
movq (%rax), %rsi
callq 0x7120
movq 0x21602(%rip), %rdi     # 0x40a00
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x8b01