// File: afborchert[P]fmt/./printf.hpp
// Function: std::enable_if<!std::is_same<wchar_t, char>::value, bool>::type fmt::impl::print_value<wchar_t, std::char_traits<wchar_t>>(std::basic_ostream<wchar_t, std::char_traits<wchar_t>>&, fmt::impl::format_segment<wchar_t> const&, char const*)
inline typename std::enable_if<!std::is_same<CharT, char>::value, bool>::type
print_value(std::basic_ostream<CharT, Traits>& out,
      const format_segment<CharT>& fseg, const char* value) {
   if (fseg.flags & is_pointer) {
      /* %p given: print pointer value */
      out << static_cast<const void*>(value);
   } else if (fseg.flags & is_unsigned) {
      /* print it as an unsigned integer value */
      print_value(out, fseg, reinterpret_cast<std::uintptr_t>(value));
   } else if (fseg.flags & is_integer) {
      /* print it as a signed integer value */
      print_value(out, fseg, reinterpret_cast<std::intptr_t>(value));
   } else {
      integer padding = 0;
      integer len = 0;
      bool left = (out.flags() & std::ios_base::adjustfield) ==
	       std::ios_base::left;
      if (fseg.flags & precision) {
	 len = fseg.precision;
	 for (integer i = 0; i < len; ++i) {
	    if (!value[i]) {
	       len = i; break;
	    }
	 }
      } else {
	 while (value[len]) ++len;
      }
      if (fseg.width > len) {
	 padding = fseg.width - len;
      }
      if (!left) {
	 for (integer i = 0; i < padding; ++i) {
	    out.put(out.widen(' '));
	 }
      }
      for (integer i = 0; i < len; ++i) {
	 out.put(out.widen(value[i]));
      }
      if (left) {
	 for (integer i = 0; i < padding; ++i) {
	    out.put(out.widen(' '));
	 }
      }
   }
   return !!out;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x6a719
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x88e0
jmp 0x6a939
movq -0x10(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x6a747
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq %rax, -0x20(%rbp)
leaq -0x20(%rbp), %rdx
callq 0x159b0
jmp 0x6a937
movq -0x10(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x4, %eax
cmpl $0x0, %eax
je 0x6a775
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq %rax, -0x28(%rbp)
leaq -0x28(%rbp), %rdx
callq 0x15da0
jmp 0x6a935
movq $0x0, -0x30(%rbp)
movq $0x0, -0x38(%rbp)
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
addq -0x18(%rax), %rdi
callq 0x128b0
movl %eax, %edi
movl $0xb0, %esi
callq 0xfa30
cmpl $0x20, %eax
sete %al
andb $0x1, %al
movb %al, -0x39(%rbp)
movq -0x10(%rbp), %rax
movzwl 0x24(%rax), %eax
andl $0x100, %eax            # imm = 0x100
cmpl $0x0, %eax
je 0x6a806
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rax
movq %rax, -0x38(%rbp)
movq $0x0, -0x48(%rbp)
movq -0x48(%rbp), %rax
cmpq -0x38(%rbp), %rax
jge 0x6a804
movq -0x18(%rbp), %rax
movq -0x48(%rbp), %rcx
cmpb $0x0, (%rax,%rcx)
jne 0x6a7f4
movq -0x48(%rbp), %rax
movq %rax, -0x38(%rbp)
jmp 0x6a804
jmp 0x6a7f6
movq -0x48(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x48(%rbp)
jmp 0x6a7d2
jmp 0x6a826
jmp 0x6a808
movq -0x18(%rbp), %rax
movq -0x38(%rbp), %rcx
cmpb $0x0, (%rax,%rcx)
je 0x6a824
movq -0x38(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x38(%rbp)
jmp 0x6a808
jmp 0x6a826
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
cmpq -0x38(%rbp), %rax
jle 0x6a844
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rax
subq -0x38(%rbp), %rax
movq %rax, -0x30(%rbp)
testb $0x1, -0x39(%rbp)
jne 0x6a894
movq $0x0, -0x50(%rbp)
movq -0x50(%rbp), %rax
cmpq -0x30(%rbp), %rax
jge 0x6a892
movq -0x8(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0x20, %esi
callq 0x8620
movq -0x68(%rbp), %rdi
movl %eax, %esi
callq 0x8380
movq -0x50(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x50(%rbp)
jmp 0x6a852
jmp 0x6a894
movq $0x0, -0x58(%rbp)
movq -0x58(%rbp), %rax
cmpq -0x38(%rbp), %rax
jge 0x6a8e3
movq -0x8(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movq -0x18(%rbp), %rax
movq -0x58(%rbp), %rcx
movsbl (%rax,%rcx), %esi
callq 0x8620
movq -0x70(%rbp), %rdi
movl %eax, %esi
callq 0x8380
movq -0x58(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x58(%rbp)
jmp 0x6a89c
testb $0x1, -0x39(%rbp)
je 0x6a933
movq $0x0, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x30(%rbp), %rax
jge 0x6a931
movq -0x8(%rbp), %rax
movq %rax, -0x78(%rbp)
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0x20, %esi
callq 0x8620
movq -0x78(%rbp), %rdi
movl %eax, %esi
callq 0x8380
movq -0x60(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x60(%rbp)
jmp 0x6a8f1
jmp 0x6a933
jmp 0x6a935
jmp 0x6a937
jmp 0x6a939
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
addq -0x18(%rax), %rdi
callq 0x8440
xorb $-0x1, %al
andb $0x1, %al
addq $0x80, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)