#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ byte_diff(char *, int, char *);
int fmt_longlong(char *, int);
int fmt_xlonglong(char *, int);
int scan_longlong(char *, long long *);
int /*<<< orphan*/ str_diff(char *, char *);
int main() {
  char buf[1024];
  long long l;
  assert(fmt_longlong(0, 12345) == 5);
  assert(fmt_longlong(0, -12345) == 6);
  assert(fmt_longlong(buf, 12345) == 5);
  buf[5] = 0;
  assert((!str_diff((buf), ("12345"))));
  assert(scan_longlong(buf, &l) == 5);
  assert(l == 12345);
  assert(fmt_longlong(buf, -12345) == 6);
  buf[6] = 0;
  assert((!str_diff((buf), ("-12345"))));
  assert(scan_longlong(buf, &l) == 6);
  assert(l == -12345);
  assert(fmt_longlong(0, 1234567890) == 10);
  assert(fmt_longlong(0, -1234567890) == 11);
  assert(fmt_longlong(buf, 1234567890) == 10);
  buf[10] = 0;
  assert((!str_diff((buf), ("1234567890"))));
  assert(scan_longlong(buf, &l) == 10);
  assert(l == 1234567890);
  assert(fmt_longlong(buf, -1234567890) == 11);
  buf[11] = 0;
  assert((!str_diff((buf), ("-1234567890"))));
  assert(scan_longlong(buf, &l) == 11);
  assert(l == -1234567890);
  assert(fmt_xlonglong(buf, 0x8000000000000000) == 16 &&
         (!byte_diff((buf), (16), ("8000000000000000"))));
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x420,%rsp
movl   $0x0,-0x4(%rbp)
xor    %eax,%eax
mov    %eax,%edi
mov    $0x3039,%esi
call   1030 <fmt_longlong@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
mov    %eax,%edi
mov    $0xffffcfc7,%esi
call   1030 <fmt_longlong@plt>
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
mov    $0x3039,%esi
call   1030 <fmt_longlong@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movb   $0x0,-0x40b(%rbp)
lea    -0x410(%rbp),%rdi
lea    0xe1d(%rip),%rsi
call   1070 <str_diff@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
lea    -0x418(%rbp),%rsi
call   1080 <scan_longlong@plt>
cmp    $0x5,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x3039,-0x418(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
mov    $0xffffcfc7,%esi
call   1030 <fmt_longlong@plt>
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movb   $0x0,-0x40a(%rbp)
lea    -0x410(%rbp),%rdi
lea    0xd94(%rip),%rsi
call   1070 <str_diff@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
lea    -0x418(%rbp),%rsi
call   1080 <scan_longlong@plt>
cmp    $0x6,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0xffffffffffffcfc7,-0x418(%rbp)
c7 cf ff ff
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
mov    %eax,%edi
mov    $0x499602d2,%esi
call   1030 <fmt_longlong@plt>
cmp    $0xa,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
mov    %eax,%edi
mov    $0xb669fd2e,%esi
call   1030 <fmt_longlong@plt>
cmp    $0xb,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
mov    $0x499602d2,%esi
call   1030 <fmt_longlong@plt>
cmp    $0xa,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movb   $0x0,-0x406(%rbp)
lea    -0x410(%rbp),%rdi
lea    0xcd8(%rip),%rsi
call   1070 <str_diff@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
lea    -0x418(%rbp),%rsi
call   1080 <scan_longlong@plt>
cmp    $0xa,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0x499602d2,-0x418(%rbp)
d2 02 96 49
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
mov    $0xb669fd2e,%esi
call   1030 <fmt_longlong@plt>
cmp    $0xb,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
movb   $0x0,-0x405(%rbp)
lea    -0x410(%rbp),%rdi
lea    0xc4f(%rip),%rsi
call   1070 <str_diff@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
lea    -0x418(%rbp),%rsi
call   1080 <scan_longlong@plt>
cmp    $0xb,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
cmpq   $0xffffffffb669fd2e,-0x418(%rbp)
2e fd 69 b6
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
lea    -0x410(%rbp),%rdi
xor    %esi,%esi
call   1060 <fmt_xlonglong@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x10,%ecx
mov    %al,-0x419(%rbp)
jne    1451 <main+0x2f1>
lea    -0x410(%rbp),%rdi
mov    $0x10,%esi
lea    0xbd5(%rip),%rdx
call   1040 <byte_diff@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
mov    %al,-0x419(%rbp)
mov    -0x419(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
xor    %eax,%eax
add    $0x420,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x410,%rsp
xor    %r14d,%r14d
xor    %edi,%edi
mov    $0x3039,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    $0xffffcfc7,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0x6,%eax
sete   %dil
call   1050 <assert@plt>
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
mov    $0x3039,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   1050 <assert@plt>
movb   $0x0,0x15(%rsp)
lea    0xe32(%rip),%rsi
mov    %rbx,%rdi
call   1070 <str_diff@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
lea    0x8(%rsp),%r15
mov    %rbx,%rdi
mov    %r15,%rsi
call   1080 <scan_longlong@plt>
xor    %edi,%edi
cmp    $0x5,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0x3039,0x8(%rsp)
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    $0xffffcfc7,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0x6,%eax
sete   %dil
call   1050 <assert@plt>
movb   $0x0,0x16(%rsp)
lea    0xdc3(%rip),%rsi
mov    %rbx,%rdi
call   1070 <str_diff@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1080 <scan_longlong@plt>
xor    %edi,%edi
cmp    $0x6,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffffffffcfc7,0x8(%rsp)
ff ff
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    $0x499602d2,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0xa,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    $0xb669fd2e,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0xb,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    $0x499602d2,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0xa,%eax
sete   %dil
call   1050 <assert@plt>
movb   $0x0,0x1a(%rsp)
lea    0xd2e(%rip),%rsi
mov    %rbx,%rdi
call   1070 <str_diff@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1080 <scan_longlong@plt>
xor    %edi,%edi
cmp    $0xa,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0x499602d2,0x8(%rsp)
96 49
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    $0xb669fd2e,%esi
call   1030 <fmt_longlong@plt>
xor    %edi,%edi
cmp    $0xb,%eax
sete   %dil
call   1050 <assert@plt>
movb   $0x0,0x1b(%rsp)
lea    0xcc4(%rip),%rsi
mov    %rbx,%rdi
call   1070 <str_diff@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1080 <scan_longlong@plt>
xor    %edi,%edi
cmp    $0xb,%eax
sete   %dil
call   1050 <assert@plt>
xor    %edi,%edi
cmpq   $0xffffffffb669fd2e,0x8(%rsp)
69 b6
sete   %dil
call   1050 <assert@plt>
mov    %rbx,%rdi
xor    %esi,%esi
call   1060 <fmt_xlonglong@plt>
cmp    $0x10,%eax
jne    13b3 <main+0x253>
lea    0xc78(%rip),%rdx
lea    0x10(%rsp),%rdi
mov    $0x10,%esi
call   1040 <byte_diff@plt>
xor    %r14d,%r14d
test   %eax,%eax
sete   %r14b
mov    %r14d,%edi
call   1050 <assert@plt>
xor    %eax,%eax
add    $0x410,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [6 x i8] c"12345\00"
@.str.1 = [7 x i8] c"-12345\00"
@.str.2 = [11 x i8] c"1234567890\00"
@.str.3 = [12 x i8] c"-1234567890\00"
@.str.4 = [17 x i8] c"8000000000000000\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [1024 x i8]
%3 = alloca i64
store i32 0, i32* %1
%4 = call i32 @fmt_longlong(i8* null, i32 12345)
%5 = icmp eq i32 %4, 5
%6 = zext i1 %5 to i32
%7 = call i32 @assert(i32 %6)
%8 = call i32 @fmt_longlong(i8* null, i32 -12345)
%9 = icmp eq i32 %8, 6
%10 = zext i1 %9 to i32
%11 = call i32 @assert(i32 %10)
%12 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%13 = call i32 @fmt_longlong(i8* %12, i32 12345)
%14 = icmp eq i32 %13, 5
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 5
store i8 0, i8* %17
%18 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%19 = call i32 @str_diff(i8* %18, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
%20 = icmp ne i32 %19, 0
%21 = xor i1 %20, true
%22 = zext i1 %21 to i32
%23 = call i32 @assert(i32 %22)
%24 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%25 = call i32 @scan_longlong(i8* %24, i64* %3)
%26 = icmp eq i32 %25, 5
%27 = zext i1 %26 to i32
%28 = call i32 @assert(i32 %27)
%29 = load i64, i64* %3
%30 = icmp eq i64 %29, 12345
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%34 = call i32 @fmt_longlong(i8* %33, i32 -12345)
%35 = icmp eq i32 %34, 6
%36 = zext i1 %35 to i32
%37 = call i32 @assert(i32 %36)
%38 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 6
store i8 0, i8* %38
%39 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%40 = call i32 @str_diff(i8* %39, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
%41 = icmp ne i32 %40, 0
%42 = xor i1 %41, true
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%46 = call i32 @scan_longlong(i8* %45, i64* %3)
%47 = icmp eq i32 %46, 6
%48 = zext i1 %47 to i32
%49 = call i32 @assert(i32 %48)
%50 = load i64, i64* %3
%51 = icmp eq i64 %50, -12345
%52 = zext i1 %51 to i32
%53 = call i32 @assert(i32 %52)
%54 = call i32 @fmt_longlong(i8* null, i32 1234567890)
%55 = icmp eq i32 %54, 10
%56 = zext i1 %55 to i32
%57 = call i32 @assert(i32 %56)
%58 = call i32 @fmt_longlong(i8* null, i32 -1234567890)
%59 = icmp eq i32 %58, 11
%60 = zext i1 %59 to i32
%61 = call i32 @assert(i32 %60)
%62 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%63 = call i32 @fmt_longlong(i8* %62, i32 1234567890)
%64 = icmp eq i32 %63, 10
%65 = zext i1 %64 to i32
%66 = call i32 @assert(i32 %65)
%67 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 10
store i8 0, i8* %67
%68 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%69 = call i32 @str_diff(i8* %68, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
%70 = icmp ne i32 %69, 0
%71 = xor i1 %70, true
%72 = zext i1 %71 to i32
%73 = call i32 @assert(i32 %72)
%74 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%75 = call i32 @scan_longlong(i8* %74, i64* %3)
%76 = icmp eq i32 %75, 10
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
%79 = load i64, i64* %3
%80 = icmp eq i64 %79, 1234567890
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
%83 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%84 = call i32 @fmt_longlong(i8* %83, i32 -1234567890)
%85 = icmp eq i32 %84, 11
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
%88 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 11
store i8 0, i8* %88
%89 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%90 = call i32 @str_diff(i8* %89, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0))
%91 = icmp ne i32 %90, 0
%92 = xor i1 %91, true
%93 = zext i1 %92 to i32
%94 = call i32 @assert(i32 %93)
%95 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%96 = call i32 @scan_longlong(i8* %95, i64* %3)
%97 = icmp eq i32 %96, 11
%98 = zext i1 %97 to i32
%99 = call i32 @assert(i32 %98)
%100 = load i64, i64* %3
%101 = icmp eq i64 %100, -1234567890
%102 = zext i1 %101 to i32
%103 = call i32 @assert(i32 %102)
%104 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%105 = call i32 @fmt_xlonglong(i8* %104, i32 0)
%106 = icmp eq i32 %105, 16
br i1 %106, label %107, label %112
107: ; preds = %0
%108 = getelementptr inbounds [1024 x i8], [1024 x i8]* %2, i64 0, i64 0
%109 = call i32 @byte_diff(i8* %108, i32 16, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.4, i64 0, i64 0))
%110 = icmp ne i32 %109, 0
%111 = xor i1 %110, true
br label %112
112: ; preds = %107, %0
%113 = phi i1 [ false, %0 ], [ %111, %107 ]
%114 = zext i1 %113 to i32
%115 = call i32 @assert(i32 %114)
ret i32 0
}

LLVM IR (-O2):
@.str = [6 x i8] c"12345\00"
@.str.1 = [7 x i8] c"-12345\00"
@.str.2 = [11 x i8] c"1234567890\00"
@.str.3 = [12 x i8] c"-1234567890\00"
@.str.4 = [17 x i8] c"8000000000000000\00"
define i32 @main() {
%1 = alloca [1024 x i8]
%2 = alloca i64
%3 = getelementptr inbounds [1024 x i8], [1024 x i8]* %1, i64 0, i64 0
%4 = bitcast i64* %2 to i8*
%5 = tail call i32 @fmt_longlong(i8* null, i32 12345)
%6 = icmp eq i32 %5, 5
%7 = zext i1 %6 to i32
%8 = tail call i32 @assert(i32 %7)
%9 = tail call i32 @fmt_longlong(i8* null, i32 -12345)
%10 = icmp eq i32 %9, 6
%11 = zext i1 %10 to i32
%12 = tail call i32 @assert(i32 %11)
%13 = call i32 @fmt_longlong(i8* %3, i32 12345)
%14 = icmp eq i32 %13, 5
%15 = zext i1 %14 to i32
%16 = call i32 @assert(i32 %15)
%17 = getelementptr inbounds [1024 x i8], [1024 x i8]* %1, i64 0, i64 5
store i8 0, i8* %17
%18 = call i32 @str_diff(i8* %3, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
%19 = icmp eq i32 %18, 0
%20 = zext i1 %19 to i32
%21 = call i32 @assert(i32 %20)
%22 = call i32 @scan_longlong(i8* %3, i64* %2)
%23 = icmp eq i32 %22, 5
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
%26 = load i64, i64* %2
%27 = icmp eq i64 %26, 12345
%28 = zext i1 %27 to i32
%29 = call i32 @assert(i32 %28)
%30 = call i32 @fmt_longlong(i8* %3, i32 -12345)
%31 = icmp eq i32 %30, 6
%32 = zext i1 %31 to i32
%33 = call i32 @assert(i32 %32)
%34 = getelementptr inbounds [1024 x i8], [1024 x i8]* %1, i64 0, i64 6
store i8 0, i8* %34
%35 = call i32 @str_diff(i8* %3, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
%36 = icmp eq i32 %35, 0
%37 = zext i1 %36 to i32
%38 = call i32 @assert(i32 %37)
%39 = call i32 @scan_longlong(i8* %3, i64* %2)
%40 = icmp eq i32 %39, 6
%41 = zext i1 %40 to i32
%42 = call i32 @assert(i32 %41)
%43 = load i64, i64* %2
%44 = icmp eq i64 %43, -12345
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
%47 = call i32 @fmt_longlong(i8* null, i32 1234567890)
%48 = icmp eq i32 %47, 10
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @fmt_longlong(i8* null, i32 -1234567890)
%52 = icmp eq i32 %51, 11
%53 = zext i1 %52 to i32
%54 = call i32 @assert(i32 %53)
%55 = call i32 @fmt_longlong(i8* %3, i32 1234567890)
%56 = icmp eq i32 %55, 10
%57 = zext i1 %56 to i32
%58 = call i32 @assert(i32 %57)
%59 = getelementptr inbounds [1024 x i8], [1024 x i8]* %1, i64 0, i64 10
store i8 0, i8* %59
%60 = call i32 @str_diff(i8* %3, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0))
%61 = icmp eq i32 %60, 0
%62 = zext i1 %61 to i32
%63 = call i32 @assert(i32 %62)
%64 = call i32 @scan_longlong(i8* %3, i64* %2)
%65 = icmp eq i32 %64, 10
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
%68 = load i64, i64* %2
%69 = icmp eq i64 %68, 1234567890
%70 = zext i1 %69 to i32
%71 = call i32 @assert(i32 %70)
%72 = call i32 @fmt_longlong(i8* %3, i32 -1234567890)
%73 = icmp eq i32 %72, 11
%74 = zext i1 %73 to i32
%75 = call i32 @assert(i32 %74)
%76 = getelementptr inbounds [1024 x i8], [1024 x i8]* %1, i64 0, i64 11
store i8 0, i8* %76
%77 = call i32 @str_diff(i8* %3, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.3, i64 0, i64 0))
%78 = icmp eq i32 %77, 0
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = call i32 @scan_longlong(i8* %3, i64* %2)
%82 = icmp eq i32 %81, 11
%83 = zext i1 %82 to i32
%84 = call i32 @assert(i32 %83)
%85 = load i64, i64* %2
%86 = icmp eq i64 %85, -1234567890
%87 = zext i1 %86 to i32
%88 = call i32 @assert(i32 %87)
%89 = call i32 @fmt_xlonglong(i8* %3, i32 0)
%90 = icmp eq i32 %89, 16
br i1 %90, label %91, label %95
91: ; preds = %0
%92 = call i32 @byte_diff(i8* %3, i32 16, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.4, i64 0, i64 0))
%93 = icmp eq i32 %92, 0
%94 = zext i1 %93 to i32
br label %95
95: ; preds = %91, %0
%96 = phi i32 [ 0, %0 ], [ %94, %91 ]
%97 = call i32 @assert(i32 %96)
ret i32 0
}