// File: /workspace/github_c_makefile_star2_O0/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
subq $0x10, %rsp
movq %rdi, -0x8(%rbp)
callq 0x1ee80
movl 0x253ed(%rip), %ecx     # 0x582b4
imull $0x64, 0x253e6(%rip), %eax # 0x582b4
movl $0x7d0, %esi            # imm = 0x7D0
cltd
idivl %esi
movl %eax, %r8d
leaq 0xfca30(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16b42(%rip), %rdx     # 0x49a2e
movb $0x0, %al
callq 0x7100
leaq 0xfca16(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0x2539b(%rip), %ecx     # 0x582a0
leaq 0xfca04(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16b2d(%rip), %rdx     # 0x49a45
movb $0x0, %al
callq 0x7100
leaq 0xfc9ea(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0xfc4af(%rip), %ecx     # 0x12f3e0
leaq 0xfc9d8(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16b10(%rip), %rdx     # 0x49a54
movb $0x0, %al
callq 0x7100
leaq 0xfc9be(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0x291ff(%rip), %ecx     # 0x5c15c
leaq 0xfc9ac(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16af1(%rip), %rdx     # 0x49a61
movb $0x0, %al
callq 0x7100
leaq 0xfc992(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0xfc45b(%rip), %ecx     # 0x12f3e4
leaq 0xfc980(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16ad6(%rip), %rdx     # 0x49a72
movb $0x0, %al
callq 0x7100
leaq 0xfc966(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0xfc433(%rip), %ecx     # 0x12f3e8
leaq 0xfc954(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16ab9(%rip), %rdx     # 0x49a81
movb $0x0, %al
callq 0x7100
leaq 0xfc93a(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0x2916b(%rip), %ecx     # 0x5c14c
leaq 0xfc928(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16a9c(%rip), %rdx     # 0x49a90
movb $0x0, %al
callq 0x7100
leaq 0xfc90e(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0x2913b(%rip), %ecx     # 0x5c148
leaq 0xfc8fc(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16a81(%rip), %rdx     # 0x49aa1
movb $0x0, %al
callq 0x7100
leaq 0xfc8e2(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0xf1a93(%rip), %ecx     # 0x124acc
leaq 0xfc8d0(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16a66(%rip), %rdx     # 0x49ab2
movb $0x0, %al
callq 0x7100
leaq 0xfc8b6(%rip), %rdi     # 0x12f910
callq 0x1f060
movl 0xfc387(%rip), %ecx     # 0x12f3ec
imull $0x64, 0xfc380(%rip), %eax # 0x12f3ec
movl $0x186a0, %esi          # imm = 0x186A0
cltd
idivl %esi
movl %eax, %r8d
leaq 0xfc892(%rip), %rdi     # 0x12f910
movl $0x3e8, %esi            # imm = 0x3E8
leaq 0x16a3b(%rip), %rdx     # 0x49ac5
movb $0x0, %al
callq 0x7100
leaq 0xfc878(%rip), %rdi     # 0x12f910
callq 0x1f060
movq 0xfc324(%rip), %rdi     # 0x12f3c8
xorl %esi, %esi
callq 0x1f110
movq 0x2b94e(%rip), %rdi     # 0x5ea00
callq 0x9110
addq $0x10, %rsp
popq %rbp
retq
nopl (%rax)