// File: /workspace/github_c_makefile_star2_O3/azhai[P]mlite/mlite.c
// Function: version_info
void version_info(char *name) {
	char	buf[100];
	cell	x;

	nl();
	pr("mLite Language Interpreter by Nils M Holm");
	nl();
	nl();
	pr("version:         "); pr(VERSION);
#ifdef unix
	pr(" (unix)");
#else
 #ifdef plan9
	pr(" (plan 9)");
 #else
	pr(" (unknown)");
 #endif
#endif
	nl();
	pr("heap image:      ");
	if (!strcmp(name, "-"))
		pr("n/a");
	else {
		pr(name); pr(".image");
	}
	nl();
	pr("library path:    "); pr(string(box_value(S_library_path))); nl();
	pr("memory limit:    ");
	if (Memory_limit_kn) {
		sprintf(buf, "%ld", Memory_limit_kn / 1024);
		pr(buf); pr("K nodes"); nl();
	}
	else {
		pr("none"); nl();
	}
	pr("extensions:      ");
	if (box_value(S_extensions) == NIL)
		pr("-");
	for (x = box_value(S_extensions); x != NIL; x = cdr(x)) {
		print_form(car(x));
		if (cdr(x) != NIL)
			pr(" ");
	}
	nl();
	pr("mantissa size:   ");
	sprintf(buf, "%d", MANTISSA_SIZE);
	pr(buf); pr(" digits"); nl();
	nl();
	pr("This program is in the public domain.");
	nl();
	nl();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x70, %rsp
movq %rdi, %rbx
leaq 0x245b(%rip), %r14      # 0x178d7
movq %r14, %rdi
callq 0x3964
leaq 0x2353(%rip), %rdi      # 0x177de
callq 0x3964
movq %r14, %rdi
callq 0x3964
movq %r14, %rdi
callq 0x3964
leaq 0x2361(%rip), %rdi      # 0x17808
callq 0x3964
leaq 0x1d01(%rip), %rdi      # 0x171b4
callq 0x3964
leaq 0x235b(%rip), %rdi      # 0x1781a
callq 0x3964
movq %r14, %rdi
callq 0x3964
leaq 0x234f(%rip), %rdi      # 0x17822
callq 0x3964
cmpb $0x2d, (%rbx)
jne 0x154e7
cmpb $0x0, 0x1(%rbx)
je 0x156b1
movq %rbx, %rdi
callq 0x3964
leaq 0x1eef(%rip), %rdi      # 0x173e5
callq 0x3964
leaq 0x23d5(%rip), %rbx      # 0x178d7
movq %rbx, %rdi
callq 0x3964
leaq 0x2327(%rip), %rdi      # 0x17838
callq 0x3964
movq 0x90a3(%rip), %rax      # 0x1e5c0
movq 0x96e4(%rip), %rcx      # 0x1ec08
movq (%rax,%rcx,8), %rcx
movq (%rax,%rcx,8), %rdi
shlq $0x3, %rdi
addq 0x90b1(%rip), %rdi      # 0x1e5e8
callq 0x3964
movq %rbx, %rdi
callq 0x3964
leaq 0x22ff(%rip), %rdi      # 0x1784a
callq 0x3964
movq 0x9119(%rip), %rax      # 0x1e670
testq %rax, %rax
je 0x15594
leaq 0x3ff(%rax), %rdx
testq %rax, %rax
cmovnsq %rax, %rdx
sarq $0xa, %rdx
leaq 0x1a0c(%rip), %rsi      # 0x16f81
leaq -0x80(%rbp), %rbx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31f0
movq %rbx, %rdi
callq 0x3964
leaq 0x22ca(%rip), %rdi      # 0x1785c
jmp 0x1559b
leaq 0x22c9(%rip), %rdi      # 0x17864
callq 0x3964
leaq 0x2330(%rip), %rdi      # 0x178d7
callq 0x3964
leaq 0x22b6(%rip), %rdi      # 0x17869
callq 0x3964
movq 0x9001(%rip), %rax      # 0x1e5c0
movq 0x963a(%rip), %rcx      # 0x1ec00
movq (%rax,%rcx,8), %r14
cmpq $-0x1, %r14
jne 0x155f4
leaq 0xbdd(%rip), %rdi       # 0x161b4
callq 0x3964
movq 0x8fdd(%rip), %rax      # 0x1e5c0
movq 0x9616(%rip), %rcx      # 0x1ec00
movq (%rax,%rcx,8), %r14
cmpq $-0x1, %r14
je 0x15634
leaq 0x221d(%rip), %rbx      # 0x17818
movq 0x8b6e(%rip), %rax      # 0x1e170
movq (%rax,%r14,8), %rdi
xorl %esi, %esi
callq 0x9124
movq 0x8fac(%rip), %rax      # 0x1e5c0
cmpq $-0x1, (%rax,%r14,8)
je 0x15634
movq %rbx, %rdi
callq 0x3964
movq 0x8f96(%rip), %rax      # 0x1e5c0
movq (%rax,%r14,8), %r14
cmpq $-0x1, %r14
jne 0x155fb
leaq 0x229c(%rip), %rbx      # 0x178d7
movq %rbx, %rdi
callq 0x3964
leaq 0x2231(%rip), %rdi      # 0x1787b
callq 0x3964
leaq 0xc95(%rip), %rsi       # 0x162eb
leaq -0x80(%rbp), %r14
movq %r14, %rdi
movl $0x24, %edx
xorl %eax, %eax
callq 0x31f0
movq %r14, %rdi
callq 0x3964
leaq 0x2215(%rip), %rdi      # 0x1788d
callq 0x3964
movq %rbx, %rdi
callq 0x3964
movq %rbx, %rdi
callq 0x3964
leaq 0x2201(%rip), %rdi      # 0x17895
callq 0x3964
movq %rbx, %rdi
callq 0x3964
movq %rbx, %rdi
addq $0x70, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x3964
leaq 0x217c(%rip), %rdi      # 0x17834
jmp 0x154f6