// File: /workspace/github_c_makefile_star2_O2/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 0x2171(%rip), %r14      # 0x158d7
movq %r14, %rdi
callq 0x3873
leaq 0x2069(%rip), %rdi      # 0x157de
callq 0x3873
movq %r14, %rdi
callq 0x3873
movq %r14, %rdi
callq 0x3873
leaq 0x2077(%rip), %rdi      # 0x15808
callq 0x3873
leaq 0x1a17(%rip), %rdi      # 0x151b4
callq 0x3873
leaq 0x2071(%rip), %rdi      # 0x1581a
callq 0x3873
movq %r14, %rdi
callq 0x3873
leaq 0x2065(%rip), %rdi      # 0x15822
callq 0x3873
cmpb $0x2d, (%rbx)
jne 0x137d1
cmpb $0x0, 0x1(%rbx)
je 0x1398e
movq %rbx, %rdi
callq 0x3873
leaq 0x1c05(%rip), %rdi      # 0x153e5
callq 0x3873
leaq 0x20eb(%rip), %rbx      # 0x158d7
movq %rbx, %rdi
callq 0x3873
leaq 0x203d(%rip), %rdi      # 0x15838
callq 0x3873
movq 0x8db9(%rip), %rax      # 0x1c5c0
movq 0x93fa(%rip), %rcx      # 0x1cc08
movq (%rax,%rcx,8), %rcx
movq (%rax,%rcx,8), %rdi
shlq $0x3, %rdi
addq 0x8dc7(%rip), %rdi      # 0x1c5e8
callq 0x3873
movq %rbx, %rdi
callq 0x3873
leaq 0x2015(%rip), %rdi      # 0x1584a
callq 0x3873
movq 0x8e2f(%rip), %rax      # 0x1c670
testq %rax, %rax
je 0x13879
movl $0x400, %ecx            # imm = 0x400
cqto
idivq %rcx
leaq 0x172a(%rip), %rsi      # 0x14f81
leaq -0x80(%rbp), %rbx
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x31f0
movq %rbx, %rdi
callq 0x3873
leaq 0x1fe5(%rip), %rdi      # 0x1585c
jmp 0x13880
leaq 0x1fe4(%rip), %rdi      # 0x15864
callq 0x3873
leaq 0x204b(%rip), %rdi      # 0x158d7
callq 0x3873
leaq 0x1fd1(%rip), %rdi      # 0x15869
callq 0x3873
movq 0x8d1c(%rip), %rax      # 0x1c5c0
movq 0x9355(%rip), %rcx      # 0x1cc00
cmpq $-0x1, (%rax,%rcx,8)
jne 0x138cc
leaq 0x8fb(%rip), %rdi       # 0x141b4
callq 0x3873
movq 0x8cfb(%rip), %rax      # 0x1c5c0
movq 0x9334(%rip), %rcx      # 0x1cc00
leaq (%rax,%rcx,8), %rax
leaq 0x1f41(%rip), %rbx      # 0x15818
movq (%rax), %r14
cmpq $-0x1, %r14
je 0x13913
movq 0x8889(%rip), %rax      # 0x1c170
movq (%rax,%r14,8), %rdi
callq 0x38e1
movq 0x8cc9(%rip), %rax      # 0x1c5c0
cmpq $-0x1, (%rax,%r14,8)
je 0x1390d
movq %rbx, %rdi
callq 0x3873
movq 0x8cb3(%rip), %rax      # 0x1c5c0
leaq (%rax,%r14,8), %rax
jmp 0x138d7
leaq 0x1fbd(%rip), %rbx      # 0x158d7
movq %rbx, %rdi
callq 0x3873
leaq 0x1f52(%rip), %rdi      # 0x1587b
callq 0x3873
leaq 0x9b6(%rip), %rsi       # 0x142eb
leaq -0x80(%rbp), %r14
pushq $0x24
popq %rdx
movq %r14, %rdi
xorl %eax, %eax
callq 0x31f0
movq %r14, %rdi
callq 0x3873
leaq 0x1f38(%rip), %rdi      # 0x1588d
callq 0x3873
movq %rbx, %rdi
callq 0x3873
movq %rbx, %rdi
callq 0x3873
leaq 0x1f24(%rip), %rdi      # 0x15895
callq 0x3873
movq %rbx, %rdi
callq 0x3873
movq %rbx, %rdi
addq $0x70, %rsp
popq %rbx
popq %r14
popq %rbp
jmp 0x3873
leaq 0x1e9f(%rip), %rdi      # 0x15834
jmp 0x137e0