// File: /workspace/github_c_makefile_star2_O0/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
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
leaq 0x21fd(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x20f5(%rip), %rdi      # 0x218d7
callq 0x3ab0
leaq 0x21e5(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x21d9(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x20fb(%rip), %rdi      # 0x21901
callq 0x3ab0
leaq 0x1a9b(%rip), %rdi      # 0x212ad
callq 0x3ab0
leaq 0x20f5(%rip), %rdi      # 0x21913
callq 0x3ab0
leaq 0x21a9(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x20e5(%rip), %rdi      # 0x2191b
callq 0x3ab0
movq -0x8(%rbp), %rdi
leaq 0xa36(%rip), %rsi       # 0x2027c
callq 0x3120
cmpl $0x0, %eax
jne 0x1f85e
leaq 0x20d6(%rip), %rdi      # 0x2192d
callq 0x3ab0
jmp 0x1f873
movq -0x8(%rbp), %rdi
callq 0x3ab0
leaq 0x1c70(%rip), %rdi      # 0x214de
callq 0x3ab0
leaq 0x2159(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x20ab(%rip), %rdi      # 0x21931
callq 0x3ab0
movq 0x8d66(%rip), %rdi      # 0x285f8
movq 0x8d37(%rip), %rax      # 0x285d0
movq 0x8d30(%rip), %rcx      # 0x285d0
movq 0x9371(%rip), %rdx      # 0x28c18
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rdi
callq 0x3ab0
leaq 0x2111(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x2075(%rip), %rdi      # 0x21943
callq 0x3ab0
cmpq $0x0, 0x8da5(%rip)      # 0x28680
je 0x1f926
leaq -0x70(%rbp), %rdi
movq 0x8d98(%rip), %rax      # 0x28680
movl $0x400, %ecx            # imm = 0x400
cqto
idivq %rcx
movq %rax, %rdx
leaq 0x177e(%rip), %rsi      # 0x2107a
movb $0x0, %al
callq 0x3200
leaq -0x70(%rbp), %rdi
callq 0x3ab0
leaq 0x2042(%rip), %rdi      # 0x21955
callq 0x3ab0
leaq 0x20b4(%rip), %rdi      # 0x219d3
callq 0x3ab0
jmp 0x1f93e
leaq 0x2030(%rip), %rdi      # 0x2195d
callq 0x3ab0
leaq 0x209a(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x201d(%rip), %rdi      # 0x21962
callq 0x3ab0
movq 0x8c7f(%rip), %rax      # 0x285d0
movq 0x92b8(%rip), %rcx      # 0x28c10
cmpq $-0x1, (%rax,%rcx,8)
jne 0x1f96b
leaq 0x916(%rip), %rdi       # 0x2027c
callq 0x3ab0
movq 0x8c5e(%rip), %rax      # 0x285d0
movq 0x9297(%rip), %rcx      # 0x28c10
movq (%rax,%rcx,8), %rax
movq %rax, -0x78(%rbp)
cmpq $-0x1, -0x78(%rbp)
je 0x1f9d1
movq 0x87f1(%rip), %rax      # 0x28180
movq -0x78(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
callq 0x3b70
movq 0x8c2d(%rip), %rax      # 0x285d0
movq -0x78(%rbp), %rcx
cmpq $-0x1, (%rax,%rcx,8)
je 0x1f9ba
leaq 0x1f5c(%rip), %rdi      # 0x21911
callq 0x3ab0
jmp 0x1f9bc
movq 0x8c0d(%rip), %rax      # 0x285d0
movq -0x78(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x78(%rbp)
jmp 0x1f981
leaq 0x1ffb(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x1f90(%rip), %rdi      # 0x21974
callq 0x3ab0
leaq -0x70(%rbp), %rdi
leaq 0x9bf(%rip), %rsi       # 0x203b3
movl $0x24, %edx
movb $0x0, %al
callq 0x3200
leaq -0x70(%rbp), %rdi
callq 0x3ab0
leaq 0x1f76(%rip), %rdi      # 0x21986
callq 0x3ab0
leaq 0x1fb7(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x1fab(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x1f5a(%rip), %rdi      # 0x2198e
callq 0x3ab0
leaq 0x1f93(%rip), %rdi      # 0x219d3
callq 0x3ab0
leaq 0x1f87(%rip), %rdi      # 0x219d3
callq 0x3ab0
addq $0x80, %rsp
popq %rbp
retq
nopw (%rax,%rax)