// File: alexwarth[P]nothing/main.cpp
// Function: stringify(char const*)
value_t stringify(const char *s) {
  value_t r = _p1(Push, _p2(MkObj, Str, Int(strlen(s))));
  for (int idx = 0; *s != 0; idx++, s++)
    slotAtPut(r, Int(idx), Int(*s));
  _p(Pop);
  return r;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x8(%rbp)
movl 0x12ff3(%rip), %eax     # 0x22518
movl %eax, -0x14(%rbp)
cmpl $0x0, 0x12b51(%rip)     # 0x22080
je 0xf55f
movl -0x14(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf53e
jmp 0xf55d
leaq 0xac62(%rip), %rdi      # 0x1a1a7
leaq 0xaaeb(%rip), %rsi      # 0x1a037
movl $0x1f7, %edx            # imm = 0x1F7
leaq 0xe2df(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf55f
movl -0x14(%rbp), %eax
sarl %eax
movl %eax, -0x18(%rbp)
movslq -0x18(%rbp), %rcx
leaq 0x12b9e(%rip), %rax     # 0x22110
movq (%rax,%rcx,8), %rax
movq %rax, -0x78(%rbp)
movl 0x12f98(%rip), %eax     # 0x22518
movl %eax, -0x20(%rbp)
cmpl $0x0, 0x12af6(%rip)     # 0x22080
je 0xf5ba
movl -0x20(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf599
jmp 0xf5b8
leaq 0xac07(%rip), %rdi      # 0x1a1a7
leaq 0xaa90(%rip), %rsi      # 0x1a037
movl $0x1f7, %edx            # imm = 0x1F7
leaq 0xe284(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf5ba
movl -0x20(%rbp), %eax
sarl %eax
movl %eax, -0x24(%rbp)
movslq -0x24(%rbp), %rcx
leaq 0x12b43(%rip), %rax     # 0x22110
movq (%rax,%rcx,8), %rax
movq %rax, -0x80(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1040
movq %rax, %rcx
movq -0x80(%rbp), %rax
shlq %rcx
orq $0x1, %rcx
movl %ecx, %edi
callq *%rax
movl %eax, -0x1c(%rbp)
movl 0x12f7b(%rip), %eax     # 0x22574
movl %eax, -0x30(%rbp)
cmpl $0x0, 0x12a7d(%rip)     # 0x22080
je 0xf633
movl -0x30(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf612
jmp 0xf631
leaq 0xab8e(%rip), %rdi      # 0x1a1a7
leaq 0xaa17(%rip), %rsi      # 0x1a037
movl $0x1f7, %edx            # imm = 0x1F7
leaq 0xe20b(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf633
movl -0x30(%rbp), %eax
sarl %eax
movl %eax, -0x34(%rbp)
movslq -0x34(%rbp), %rcx
leaq 0x12aca(%rip), %rax     # 0x22110
movq (%rax,%rcx,8), %rax
movl 0x12a68(%rip), %edi     # 0x220b8
callq *%rax
movl %eax, %ecx
movq -0x78(%rbp), %rax
movl %ecx, -0x2c(%rbp)
movl -0x2c(%rbp), %ecx
movl %ecx, -0x28(%rbp)
movl -0x28(%rbp), %edi
callq *%rax
movl %eax, -0x10(%rbp)
movl -0x10(%rbp), %eax
movl %eax, -0xc(%rbp)
movl $0x0, -0x38(%rbp)
movq -0x8(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x0, %eax
je 0xf829
movl -0xc(%rbp), %eax
movl %eax, -0x40(%rbp)
cmpl $0x0, 0x129ed(%rip)     # 0x22080
je 0xf6c3
movl -0x40(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0xf6a2
jmp 0xf6c1
leaq 0xa9b1(%rip), %rdi      # 0x1a05a
leaq 0xa987(%rip), %rsi      # 0x1a037
movl $0x1f9, %edx            # imm = 0x1F9
leaq 0xe17b(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf6c3
movl -0x40(%rbp), %eax
sarl %eax
movl %eax, -0x44(%rbp)
movl -0x44(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x38(%rbp), %eax
shll %eax
orl $0x1, %eax
movl %eax, -0x4c(%rbp)
cmpl $0x0, 0x1299d(%rip)     # 0x22080
je 0xf713
movl -0x4c(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf6f2
jmp 0xf711
leaq 0xaaae(%rip), %rdi      # 0x1a1a7
leaq 0xa937(%rip), %rsi      # 0x1a037
movl $0x1f9, %edx            # imm = 0x1F9
leaq 0xe12b(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf713
movl -0x4c(%rbp), %eax
sarl %eax
movl %eax, -0x50(%rbp)
movl -0x50(%rbp), %eax
movl %eax, -0x48(%rbp)
movq -0x8(%rbp), %rax
movsbl (%rax), %eax
shll %eax
orl $0x1, %eax
movl %eax, -0x54(%rbp)
cmpl $0x0, 0x12949(%rip)     # 0x22080
je 0xf7ec
xorl %eax, %eax
xorl %ecx, %ecx
cmpl -0x48(%rbp), %ecx
movb %al, -0x81(%rbp)
jg 0xf7bd
movl -0x48(%rbp), %eax
movl %eax, -0x88(%rbp)
movq 0x12994(%rip), %rax     # 0x220f0
movslq -0x3c(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x58(%rbp)
cmpl $0x0, 0x1290d(%rip)     # 0x22080
je 0xf7a3
movl -0x58(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf782
jmp 0xf7a1
leaq 0xaa1e(%rip), %rdi      # 0x1a1a7
leaq 0xa8a7(%rip), %rsi      # 0x1a037
movl $0x1f9, %edx            # imm = 0x1F9
leaq 0xe09b(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf7a3
movl -0x88(%rbp), %eax
movl -0x58(%rbp), %ecx
sarl %ecx
movl %ecx, -0x5c(%rbp)
cmpl -0x5c(%rbp), %eax
setl %al
movb %al, -0x81(%rbp)
movb -0x81(%rbp), %al
testb $0x1, %al
jne 0xf7c9
jmp 0xf7cb
jmp 0xf7ea
leaq 0xe085(%rip), %rdi      # 0x1d857
leaq 0xa85e(%rip), %rsi      # 0x1a037
movl $0x1f9, %edx            # imm = 0x1F9
leaq 0xe052(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf7ec
movl -0x54(%rbp), %eax
movq 0x128fa(%rip), %rcx     # 0x220f0
movslq -0x3c(%rbp), %rdx
imulq $0x18, %rdx, %rdx
addq %rdx, %rcx
movq 0x10(%rcx), %rcx
movslq -0x48(%rbp), %rdx
movl %eax, (%rcx,%rdx,4)
movl %eax, -0x60(%rbp)
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
movq -0x8(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x8(%rbp)
jmp 0xf676
movl 0x12ced(%rip), %eax     # 0x2251c
movl %eax, -0x68(%rbp)
cmpl $0x0, 0x12847(%rip)     # 0x22080
je 0xf869
movl -0x68(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0xf848
jmp 0xf867
leaq 0xa958(%rip), %rdi      # 0x1a1a7
leaq 0xa7e1(%rip), %rsi      # 0x1a037
movl $0x1fa, %edx            # imm = 0x1FA
leaq 0xdfd5(%rip), %rcx      # 0x1d837
callq 0x1060
jmp 0xf869
movl -0x68(%rbp), %eax
sarl %eax
movl %eax, -0x6c(%rbp)
movslq -0x6c(%rbp), %rcx
leaq 0x12894(%rip), %rax     # 0x22110
movq (%rax,%rcx,8), %rax
movl 0x12802(%rip), %edi     # 0x22088
callq *%rax
movl %eax, -0x64(%rbp)
movl -0xc(%rbp), %eax
addq $0x90, %rsp
popq %rbp
retq
nopw (%rax,%rax)