// File: /workspace/github_c_makefile_star2_O2/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
callq 0x12e54
movl 0x1c226(%rip), %ecx     # 0x382a4
pushq $0x14
popq %rsi
movl %ecx, %eax
cltd
idivl %esi
leaq 0xf3873(%rip), %rbx     # 0x10f900
leaq 0xba22(%rip), %rdx      # 0x27ab6
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
movl %eax, %r8d
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0x1c1dc(%rip), %ecx     # 0x38290
leaq 0xba12(%rip), %rdx      # 0x27acd
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0xf32f8(%rip), %ecx     # 0x10f3d0
leaq 0xb9fd(%rip), %rdx      # 0x27adc
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0x20050(%rip), %ecx     # 0x3c14c
leaq 0xb9e6(%rip), %rdx      # 0x27ae9
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0xf32b4(%rip), %ecx     # 0x10f3d4
leaq 0xb9d3(%rip), %rdx      # 0x27afa
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0xf3294(%rip), %ecx     # 0x10f3d8
leaq 0xb9be(%rip), %rdx      # 0x27b09
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0x1ffd4(%rip), %ecx     # 0x3c13c
leaq 0xb9a9(%rip), %rdx      # 0x27b18
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0x1ffac(%rip), %ecx     # 0x3c138
leaq 0xb996(%rip), %rdx      # 0x27b29
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0xe890c(%rip), %ecx     # 0x104abc
leaq 0xb983(%rip), %rdx      # 0x27b3a
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movl 0xf3208(%rip), %ecx     # 0x10f3dc
movl $0x3e8, %esi            # imm = 0x3E8
movl %ecx, %eax
cltd
idivl %esi
leaq 0xb968(%rip), %rdx      # 0x27b4d
movl $0x3e8, %esi            # imm = 0x3E8
movq %rbx, %rdi
movl %eax, %r8d
xorl %eax, %eax
callq 0x7100
movq %rbx, %rdi
callq 0x12f84
movq 0xf31b2(%rip), %rdi     # 0x10f3b8
callq 0x13012
movq 0x227de(%rip), %rdi     # 0x3e9f0
addq $0x8, %rsp
popq %rbx
popq %rbp
jmp 0x861b