// File: /workspace/github_c_makefile_star2_O1/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 0x21c2(%rip), %r14      # 0x178f5
movq %r14, %rdi
callq 0x3965
leaq 0x20b7(%rip), %rdi      # 0x177f9
callq 0x3965
movq %r14, %rdi
callq 0x3965
movq %r14, %rdi
callq 0x3965
leaq 0x20c5(%rip), %rdi      # 0x17823
callq 0x3965
leaq 0x1a65(%rip), %rdi      # 0x171cf
callq 0x3965
leaq 0x20bf(%rip), %rdi      # 0x17835
callq 0x3965
movq %r14, %rdi
callq 0x3965
leaq 0x20b3(%rip), %rdi      # 0x1783d
callq 0x3965
leaq 0xa36(%rip), %rsi       # 0x161cc
movq %rbx, %rdi
callq 0x3110
testl %eax, %eax
je 0x157b3
movq %rbx, %rdi
callq 0x3965
leaq 0x1c4f(%rip), %rdi      # 0x17400
jmp 0x157ba
leaq 0x2095(%rip), %rdi      # 0x1784f
callq 0x3965
leaq 0x212f(%rip), %rbx      # 0x178f5
movq %rbx, %rdi
callq 0x3965
leaq 0x207e(%rip), %rdi      # 0x17853
callq 0x3965
movq 0x8ddf(%rip), %rax      # 0x1e5c0
movq 0x9420(%rip), %rcx      # 0x1ec08
movq (%rax,%rcx,8), %rcx
movq (%rax,%rcx,8), %rdi
shlq $0x3, %rdi
addq 0x8ded(%rip), %rdi      # 0x1e5e8
callq 0x3965
movq %rbx, %rdi
callq 0x3965
leaq 0x2056(%rip), %rdi      # 0x17865
callq 0x3965
movq 0x8e55(%rip), %rax      # 0x1e670
testq %rax, %rax
je 0x15858
leaq 0x3ff(%rax), %rdx
testq %rax, %rax
cmovnsq %rax, %rdx
sarq $0xa, %rdx
leaq 0x1763(%rip), %rsi      # 0x16f9c
leaq -0x80(%rbp), %rbx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x31f0
movq %rbx, %rdi
callq 0x3965
leaq 0x2021(%rip), %rdi      # 0x17877
jmp 0x1585f
leaq 0x2020(%rip), %rdi      # 0x1787f
callq 0x3965
leaq 0x208a(%rip), %rdi      # 0x178f5
callq 0x3965
leaq 0x200d(%rip), %rdi      # 0x17884
callq 0x3965
movq 0x8d3d(%rip), %rax      # 0x1e5c0
movq 0x9376(%rip), %rcx      # 0x1ec00
cmpq $-0x1, (%rax,%rcx,8)
jne 0x1589d
leaq 0x934(%rip), %rdi       # 0x161cc
callq 0x3965
movq 0x8d1c(%rip), %rax      # 0x1e5c0
movq 0x9355(%rip), %rcx      # 0x1ec00
movq (%rax,%rcx,8), %r14
cmpq $-0x1, %r14
je 0x158f5
leaq 0x1f77(%rip), %rbx      # 0x17833
movq 0x88ad(%rip), %rax      # 0x1e170
movq (%rax,%r14,8), %rdi
xorl %esi, %esi
callq 0x91f0
movq 0x8ceb(%rip), %rax      # 0x1e5c0
cmpq $-0x1, (%rax,%r14,8)
je 0x158e4
movq %rbx, %rdi
callq 0x3965
movq 0x8cd5(%rip), %rax      # 0x1e5c0
movq (%rax,%r14,8), %r14
cmpq $-0x1, %r14
jne 0x158bc
leaq 0x1ff9(%rip), %rbx      # 0x178f5
movq %rbx, %rdi
callq 0x3965
leaq 0x1f8b(%rip), %rdi      # 0x17896
callq 0x3965
leaq 0x9ec(%rip), %rsi       # 0x16303
leaq -0x80(%rbp), %r14
movq %r14, %rdi
movl $0x24, %edx
xorl %eax, %eax
callq 0x31f0
movq %r14, %rdi
callq 0x3965
leaq 0x1f6f(%rip), %rdi      # 0x178a8
callq 0x3965
movq %rbx, %rdi
callq 0x3965
movq %rbx, %rdi
callq 0x3965
leaq 0x1f5b(%rip), %rdi      # 0x178b0
callq 0x3965
movq %rbx, %rdi
callq 0x3965
movq %rbx, %rdi
addq $0x70, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x3965