// File: /workspace/github_c_makefile_star2_O0/tylerneylon[P]APIsWithLua/lua/lobject.c
// Function: luaO_pushvfstring
const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) {
  int n = 0;
  for (;;) {
    const char *e = strchr(fmt, '%');
    if (e == NULL) break;
    pushstr(L, fmt, e - fmt);
    switch (*(e+1)) {
      case 's': {  /* zero-terminated string */
        const char *s = va_arg(argp, char *);
        if (s == NULL) s = "(null)";
        pushstr(L, s, strlen(s));
        break;
      }
      case 'c': {  /* an 'int' as a character */
        char buff = cast(char, va_arg(argp, int));
        if (lisprint(cast_uchar(buff)))
          pushstr(L, &buff, 1);
        else  /* non-printable character; print its code */
          luaO_pushfstring(L, "<\\%d>", cast_uchar(buff));
        break;
      }
      case 'd': {  /* an 'int' */
        setivalue(L->top, va_arg(argp, int));
        goto top2str;
      }
      case 'I': {  /* a 'lua_Integer' */
        setivalue(L->top, cast(lua_Integer, va_arg(argp, l_uacInt)));
        goto top2str;
      }
      case 'f': {  /* a 'lua_Number' */
        setfltvalue(L->top, cast_num(va_arg(argp, l_uacNumber)));
      top2str:  /* convert the top element to a string */
        luaD_inctop(L);
        luaO_tostring(L, L->top - 1);
        break;
      }
      case 'p': {  /* a pointer */
        char buff[4*sizeof(void *) + 8]; /* should be enough space for a '%p' */
        int l = l_sprintf(buff, sizeof(buff), "%p", va_arg(argp, void *));
        pushstr(L, buff, l);
        break;
      }
      case 'U': {  /* an 'int' as a UTF-8 sequence */
        char buff[UTF8BUFFSZ];
        int l = luaO_utf8esc(buff, cast(long, va_arg(argp, long)));
        pushstr(L, buff + UTF8BUFFSZ - l, l);
        break;
      }
      case '%': {
        pushstr(L, "%", 1);
        break;
      }
      default: {
        luaG_runerror(L, "invalid option '%%%c' to 'lua_pushfstring'",
                         *(e + 1));
      }
    }
    n += 2;
    fmt = e+2;
  }
  luaD_checkstack(L, 1);
  pushstr(L, fmt, strlen(fmt));
  if (n > 0) luaV_concat(L, n + 1);
  return svalue(L->top - 1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x180, %rsp            # imm = 0x180
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl $0x0, -0x1c(%rbp)
movq -0x10(%rbp), %rdi
movl $0x25, %esi
callq 0x5170
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
jne 0x10e9c
jmp 0x113a5
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x28(%rbp), %rdx
subq %rsi, %rdx
callq 0x11440
movq -0x28(%rbp), %rax
movsbl 0x1(%rax), %eax
addl $-0x25, %eax
movl %eax, %ecx
movq %rcx, -0x98(%rbp)
subl $0x4e, %eax
ja 0x11371
movq -0x98(%rbp), %rax
leaq 0x23aa1(%rip), %rcx     # 0x3497c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x18(%rbp), %rax
movq %rax, -0xa8(%rbp)
movl (%rax), %eax
movl %eax, -0x9c(%rbp)
cmpl $0x28, %eax
ja 0x10f1e
movq -0xa8(%rbp), %rcx
movl -0x9c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0xb0(%rbp)
jmp 0x10f3b
movq -0xa8(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0xb0(%rbp)
movq -0xb0(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jne 0x10f5b
leaq 0x23c90(%rip), %rax     # 0x34be7
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x30(%rbp), %rdi
callq 0x5150
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
movq %rax, %rdx
callq 0x11440
jmp 0x1138b
movq -0x18(%rbp), %rax
movq %rax, -0xd0(%rbp)
movl (%rax), %eax
movl %eax, -0xc4(%rbp)
cmpl $0x28, %eax
ja 0x10fcf
movq -0xd0(%rbp), %rcx
movl -0xc4(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0xd8(%rbp)
jmp 0x10fec
movq -0xd0(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0xd8(%rbp)
movq -0xd8(%rbp), %rax
movl (%rax), %eax
movb %al, -0x31(%rbp)
movzbl -0x31(%rbp), %eax
addl $0x1, %eax
movslq %eax, %rcx
leaq 0x24aa7(%rip), %rax     # 0x35ab0
movzbl (%rax,%rcx), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0x11029
movq -0x8(%rbp), %rdi
leaq -0x31(%rbp), %rsi
movl $0x1, %edx
callq 0x11440
jmp 0x1103f
movq -0x8(%rbp), %rdi
movzbl -0x31(%rbp), %edx
leaq 0x23bb6(%rip), %rsi     # 0x34bee
movb $0x0, %al
callq 0x114b0
jmp 0x1138b
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xe8(%rbp)
movl (%rax), %eax
movl %eax, -0xdc(%rbp)
cmpl $0x28, %eax
ja 0x1108a
movq -0xe8(%rbp), %rcx
movl -0xdc(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0xf0(%rbp)
jmp 0x110a7
movq -0xe8(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movslq (%rax), %rcx
movq -0x40(%rbp), %rax
movq %rcx, (%rax)
movq -0x40(%rbp), %rax
movl $0x13, 0x8(%rax)
jmp 0x111e5
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x100(%rbp)
movl (%rax), %eax
movl %eax, -0xf4(%rbp)
cmpl $0x28, %eax
ja 0x1110e
movq -0x100(%rbp), %rcx
movl -0xf4(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x108(%rbp)
jmp 0x1112b
movq -0x100(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x108(%rbp)
movq -0x108(%rbp), %rax
movq (%rax), %rcx
movq -0x48(%rbp), %rax
movq %rcx, (%rax)
movq -0x48(%rbp), %rax
movl $0x13, 0x8(%rax)
jmp 0x111e5
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x120(%rbp)
movq %rax, %rcx
addq $0x4, %rcx
movq %rcx, -0x118(%rbp)
movl 0x4(%rax), %eax
movl %eax, -0x10c(%rbp)
cmpl $0xa0, %eax
ja 0x111aa
movq -0x118(%rbp), %rcx
movl -0x10c(%rbp), %edx
movq -0x120(%rbp), %rsi
movslq %edx, %rax
addq 0x10(%rsi), %rax
addl $0x10, %edx
movl %edx, (%rcx)
movq %rax, -0x128(%rbp)
jmp 0x111c7
movq -0x120(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movsd (%rax), %xmm0
movq -0x50(%rbp), %rax
movsd %xmm0, (%rax)
movq -0x50(%rbp), %rax
movl $0x3, 0x8(%rax)
movq -0x8(%rbp), %rdi
callq 0xb0b0
movq -0x8(%rbp), %rdi
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rsi
addq $-0x10, %rsi
callq 0x10d60
jmp 0x1138b
leaq -0x80(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x138(%rbp)
movl (%rax), %eax
movl %eax, -0x12c(%rbp)
cmpl $0x28, %eax
ja 0x1124d
movq -0x138(%rbp), %rcx
movl -0x12c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x148(%rbp)
jmp 0x1126a
movq -0x138(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x148(%rbp)
movq -0x140(%rbp), %rdi
movq -0x148(%rbp), %rax
movq (%rax), %rcx
movl $0x28, %esi
leaq 0x244c9(%rip), %rdx     # 0x35750
movb $0x0, %al
callq 0x5190
movl %eax, -0x84(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x80(%rbp), %rsi
movslq -0x84(%rbp), %rdx
callq 0x11440
jmp 0x1138b
leaq -0x8c(%rbp), %rax
movq %rax, -0x160(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x158(%rbp)
movl (%rax), %eax
movl %eax, -0x14c(%rbp)
cmpl $0x28, %eax
ja 0x112f5
movq -0x158(%rbp), %rcx
movl -0x14c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x168(%rbp)
jmp 0x11312
movq -0x158(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x168(%rbp)
movq -0x160(%rbp), %rdi
movq -0x168(%rbp), %rax
movq (%rax), %rsi
callq 0x10cb0
movl %eax, -0x90(%rbp)
movq -0x8(%rbp), %rdi
leaq -0x8c(%rbp), %rsi
addq $0x8, %rsi
movslq -0x90(%rbp), %rcx
xorl %eax, %eax
subq %rcx, %rax
addq %rax, %rsi
movslq -0x90(%rbp), %rdx
callq 0x11440
jmp 0x1138b
movq -0x8(%rbp), %rdi
leaq 0x2388f(%rip), %rsi     # 0x34bf4
movl $0x1, %edx
callq 0x11440
jmp 0x1138b
movq -0x8(%rbp), %rdi
movq -0x28(%rbp), %rax
movsbl 0x1(%rax), %edx
leaq 0x23872(%rip), %rsi     # 0x34bf6
movb $0x0, %al
callq 0x98e0
movl -0x1c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x1c(%rbp)
movq -0x28(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x10(%rbp)
jmp 0x10e7e
movq -0x8(%rbp), %rax
movq 0x30(%rax), %rax
movq -0x8(%rbp), %rcx
movq 0x10(%rcx), %rcx
subq %rcx, %rax
sarq $0x4, %rax
cmpq $0x1, %rax
jg 0x113d2
movq -0x8(%rbp), %rdi
movl $0x1, %esi
callq 0xaee0
jmp 0x113d4
jmp 0x113d4
movq -0x8(%rbp), %rax
movq %rax, -0x178(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x170(%rbp)
movq -0x10(%rbp), %rdi
callq 0x5150
movq -0x178(%rbp), %rdi
movq -0x170(%rbp), %rsi
movq %rax, %rdx
callq 0x11440
cmpl $0x0, -0x1c(%rbp)
jle 0x1141e
movq -0x8(%rbp), %rdi
movl -0x1c(%rbp), %esi
addl $0x1, %esi
callq 0x1a840
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq -0x10(%rax), %rax
addq $0x18, %rax
addq $0x180, %rsp            # imm = 0x180
popq %rbp
retq
nopw (%rax,%rax)