#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 */
typedef int ssize_t;
typedef scalar_t__ pid_t;
typedef int /*<<< orphan*/ line;

/* Variables and functions */
int /*<<< orphan*/ EXIT_FAILURE;
int /*<<< orphan*/ EXIT_SUCCESS;
int /*<<< orphan*/ O_RDWR;
int /*<<< orphan*/ SEEK_SET;
int close(int);
int /*<<< orphan*/ errno;
int /*<<< orphan*/ exit(int /*<<< orphan*/);
scalar_t__ getpid();
int lseek(int, int /*<<< orphan*/, int /*<<< orphan*/);
int /*<<< orphan*/ my_lock(int);
int /*<<< orphan*/ my_unlock(int);
int open(char *, int /*<<< orphan*/);
int /*<<< orphan*/ perror(char *);
int /*<<< orphan*/ printf(char *, char *, long, long);
int read(int, char *, int);
int /*<<< orphan*/ sleep(int);
int /*<<< orphan*/ snprintf(char *, int, char *, long);
int /*<<< orphan*/ sscanf(char *, char *, long *);
int /*<<< orphan*/ strlen(char *);
int write(int, char *, int /*<<< orphan*/);
int main(int argc, char *argv[]) {
  pid_t pid;
  int fd, i;
  char line[(10) + 1];
  ssize_t n;
  long seqno;
  pid = getpid();
  if ((fd = open("testfile", O_RDWR)) == -1) {
    do {
      errno = errno;
      perror("open");
      exit(EXIT_FAILURE);
    } while (0);
  }
  for (i = 0; i < (10); ++i) {
    my_lock(fd);
    if (lseek(fd, 0, SEEK_SET) == -1) {
      do {
        errno = errno;
        perror("lseek");
        exit(EXIT_FAILURE);
      } while (0);
    }
    if ((n = read(fd, line, (10))) == -1) {
      do {
        errno = errno;
        perror("read");
        exit(EXIT_FAILURE);
      } while (0);
    }
    line[n] = '\0';
    sscanf(line, "%ld\n", &seqno);
    printf("%s: pid = %ld, seq = %ld\n", argv[0], (long)pid, seqno);
    ++seqno;
    snprintf(line, sizeof(line), "%ld\n", seqno);
    if (lseek(fd, 0, SEEK_SET) == -1) {
      do {
        errno = errno;
        perror("lseek");
        exit(EXIT_FAILURE);
      } while (0);
    }
    if (write(fd, line, strlen(line)) == -1) {
      do {
        errno = errno;
        perror("write");
        exit(EXIT_FAILURE);
      } while (0);
    }
    my_unlock(fd);
    sleep(1);
  }
  if (close(fd) == -1) {
    do {
      errno = errno;
      perror("close");
      exit(EXIT_FAILURE);
    } while (0);
  }
  exit(EXIT_SUCCESS);
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    $0x0,%al
call   1050 <getpid@plt>
mov    %rax,-0x18(%rbp)
mov    0x2dd0(%rip),%rax
mov    (%rax),%esi
lea    0xddf(%rip),%rdi
call   10e0 <open@plt>
mov    %eax,-0x1c(%rbp)
cmp    $0xffffffff,%eax
jne    1263 <main+0x73>
jmp    1237 <main+0x47>
mov    0x2d9a(%rip),%rax
mov    (%rax),%ecx
mov    0x2d91(%rip),%rax
mov    %ecx,(%rax)
lea    0xdb9(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2d6c(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
movl   $0x0,-0x20(%rbp)
cmpl   $0xa,-0x20(%rbp)
jge    1440 <main+0x250>
mov    -0x1c(%rbp),%edi
call   1090 <my_lock@plt>
mov    -0x1c(%rbp),%edi
mov    0x2d4a(%rip),%rax
mov    (%rax),%edx
xor    %esi,%esi
call   10a0 <lseek@plt>
cmp    $0xffffffff,%eax
jne    12c9 <main+0xd9>
jmp    129d <main+0xad>
mov    0x2d34(%rip),%rax
mov    (%rax),%ecx
mov    0x2d2b(%rip),%rax
mov    %ecx,(%rax)
lea    0xd58(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2d06(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
mov    -0x1c(%rbp),%edi
lea    -0x2b(%rbp),%rsi
mov    $0xa,%edx
call   10c0 <read@plt>
mov    %eax,-0x30(%rbp)
cmp    $0xffffffff,%eax
jne    1317 <main+0x127>
jmp    12eb <main+0xfb>
mov    0x2ce6(%rip),%rax
mov    (%rax),%ecx
mov    0x2cdd(%rip),%rax
mov    %ecx,(%rax)
lea    0xd10(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2cb8(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
movslq -0x30(%rbp),%rax
movb   $0x0,-0x2b(%rbp,%rax,1)
lea    -0x2b(%rbp),%rdi
lea    0xd03(%rip),%rsi
lea    -0x38(%rbp),%rdx
call   10d0 <sscanf@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%rcx
lea    0xccf(%rip),%rdi
call   1070 <printf@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
lea    -0x2b(%rbp),%rdi
mov    -0x38(%rbp),%rcx
mov    $0xb,%esi
lea    0xcbf(%rip),%rdx
call   1080 <snprintf@plt>
mov    -0x1c(%rbp),%edi
mov    0x2c52(%rip),%rax
mov    (%rax),%edx
xor    %esi,%esi
call   10a0 <lseek@plt>
cmp    $0xffffffff,%eax
jne    13c1 <main+0x1d1>
jmp    1395 <main+0x1a5>
mov    0x2c3c(%rip),%rax
mov    (%rax),%ecx
mov    0x2c33(%rip),%rax
mov    %ecx,(%rax)
lea    0xc60(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2c0e(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x44(%rbp)
lea    -0x2b(%rbp),%rax
mov    %rax,-0x40(%rbp)
lea    -0x2b(%rbp),%rdi
call   1060 <strlen@plt>
mov    -0x44(%rbp),%edi
mov    -0x40(%rbp),%rsi
mov    %eax,%edx
call   1040 <write@plt>
cmp    $0xffffffff,%eax
jne    1420 <main+0x230>
jmp    13f4 <main+0x204>
mov    0x2bdd(%rip),%rax
mov    (%rax),%ecx
mov    0x2bd4(%rip),%rax
mov    %ecx,(%rax)
lea    0xc26(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2baf(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
mov    -0x1c(%rbp),%edi
call   1030 <my_unlock@plt>
mov    $0x1,%edi
call   1110 <sleep@plt>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    126a <main+0x7a>
mov    -0x1c(%rbp),%edi
call   10b0 <close@plt>
cmp    $0xffffffff,%eax
jne    1482 <main+0x292>
jmp    1456 <main+0x266>
mov    0x2b7b(%rip),%rax
mov    (%rax),%ecx
mov    0x2b72(%rip),%rax
mov    %ecx,(%rax)
lea    0xbca(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2b4d(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
mov    0x2b37(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rsi,0x10(%rsp)
xor    %eax,%eax
call   1050 <getpid@plt>
mov    %rax,%r15
mov    0x2dd4(%rip),%rax
mov    (%rax),%esi
lea    0xde3(%rip),%rdi
call   10e0 <open@plt>
cmp    $0xffffffff,%eax
jne    1233 <main+0x43>
lea    0xddb(%rip),%rdi
jmp    1348 <main+0x158>
mov    %eax,%ebp
mov    $0xa,%r13d
mov    0x2d96(%rip),%r14
lea    0x1d(%rsp),%rbx
lea    0xde0(%rip),%r12
xchg   %ax,%ax
mov    %ebp,%edi
call   1090 <my_lock@plt>
mov    (%r14),%edx
mov    %ebp,%edi
xor    %esi,%esi
call   10a0 <lseek@plt>
cmp    $0xffffffff,%eax
je     132f <main+0x13f>
mov    %ebp,%edi
mov    %rbx,%rsi
mov    $0xa,%edx
call   10c0 <read@plt>
cmp    $0xffffffff,%eax
je     1338 <main+0x148>
cltq
movb   $0x0,0x1d(%rsp,%rax,1)
mov    %rbx,%rdi
mov    %r12,%rsi
lea    0x8(%rsp),%rdx
call   10d0 <sscanf@plt>
mov    0x10(%rsp),%rax
mov    (%rax),%rsi
mov    0x8(%rsp),%rcx
lea    0xd6a(%rip),%rdi
mov    %r15,%rdx
call   1070 <printf@plt>
mov    0x8(%rsp),%rcx
add    $0x1,%rcx
mov    %rcx,0x8(%rsp)
mov    %rbx,%rdi
mov    $0xb,%esi
mov    %r12,%rdx
call   1080 <snprintf@plt>
mov    (%r14),%edx
mov    %ebp,%edi
xor    %esi,%esi
call   10a0 <lseek@plt>
cmp    $0xffffffff,%eax
je     132f <main+0x13f>
mov    %rbx,%rdi
call   1060 <strlen@plt>
mov    %ebp,%edi
mov    %rbx,%rsi
mov    %eax,%edx
call   1040 <write@plt>
cmp    $0xffffffff,%eax
je     1341 <main+0x151>
mov    %ebp,%edi
call   1030 <my_unlock@plt>
mov    $0x1,%edi
call   1110 <sleep@plt>
add    $0xffffffff,%r13d
jne    1250 <main+0x60>
mov    %ebp,%edi
call   10b0 <close@plt>
cmp    $0xffffffff,%eax
jne    135b <main+0x16b>
lea    0xd0c(%rip),%rdi
jmp    1348 <main+0x158>
lea    0xcd8(%rip),%rdi
jmp    1348 <main+0x158>
lea    0xcd5(%rip),%rdi
jmp    1348 <main+0x158>
lea    0xceb(%rip),%rdi
call   10f0 <perror@plt>
mov    0x2c7c(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>
mov    0x2c66(%rip),%rax
mov    (%rax),%edi
call   1100 <exit@plt>

LLVM IR (-O0):
@.str = [9 x i8] c"testfile\00"
@O_RDWR = global i32 0
@errno = global i32 0
@.str.1 = [5 x i8] c"open\00"
@EXIT_FAILURE = global i32 0
@SEEK_SET = global i32 0
@.str.2 = [6 x i8] c"lseek\00"
@.str.3 = [5 x i8] c"read\00"
@.str.4 = [5 x i8] c"%ld\0A\00"
@.str.5 = [26 x i8] c"%s: pid = %ld, seq = %ld\0A\00"
@.str.6 = [6 x i8] c"write\00"
@.str.7 = [6 x i8] c"close\00"
@EXIT_SUCCESS = global i32 0
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca [11 x i8]
%10 = alloca i32
%11 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%12 = call i64 (...) @getpid()
store i64 %12, i64* %6
%13 = load i32, i32* @O_RDWR
%14 = call i32 @open(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %13)
store i32 %14, i32* %7
%15 = icmp eq i32 %14, -1
br i1 %15, label %16, label %23
16: ; preds = %2
br label %17
17: ; preds = %16
%18 = load i32, i32* @errno
store i32 %18, i32* @errno
%19 = call i32 @perror(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%20 = load i32, i32* @EXIT_FAILURE
%21 = call i32 @exit(i32 %20)
unreachable
22: ; No predecessors!
br label %23
23: ; preds = %22, %2
store i32 0, i32* %8
br label %24
24: ; preds = %99, %23
%25 = load i32, i32* %8
%26 = icmp slt i32 %25, 10
br i1 %26, label %27, label %102
27: ; preds = %24
%28 = load i32, i32* %7
%29 = call i32 @my_lock(i32 %28)
%30 = load i32, i32* %7
%31 = load i32, i32* @SEEK_SET
%32 = call i32 @lseek(i32 %30, i32 0, i32 %31)
%33 = icmp eq i32 %32, -1
br i1 %33, label %34, label %41
34: ; preds = %27
br label %35
35: ; preds = %34
%36 = load i32, i32* @errno
store i32 %36, i32* @errno
%37 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%38 = load i32, i32* @EXIT_FAILURE
%39 = call i32 @exit(i32 %38)
unreachable
40: ; No predecessors!
br label %41
41: ; preds = %40, %27
%42 = load i32, i32* %7
%43 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 0
%44 = call i32 @read(i32 %42, i8* %43, i32 10)
store i32 %44, i32* %10
%45 = icmp eq i32 %44, -1
br i1 %45, label %46, label %53
46: ; preds = %41
br label %47
47: ; preds = %46
%48 = load i32, i32* @errno
store i32 %48, i32* @errno
%49 = call i32 @perror(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
%50 = load i32, i32* @EXIT_FAILURE
%51 = call i32 @exit(i32 %50)
unreachable
52: ; No predecessors!
br label %53
53: ; preds = %52, %41
%54 = load i32, i32* %10
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 %55
store i8 0, i8* %56
%57 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 0
%58 = call i32 @sscanf(i8* %57, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), i64* %11)
%59 = load i8**, i8*** %5
%60 = getelementptr inbounds i8*, i8** %59, i64 0
%61 = load i8*, i8** %60
%62 = load i64, i64* %6
%63 = load i64, i64* %11
%64 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0), i8* %61, i64 %62, i64 %63)
%65 = load i64, i64* %11
%66 = add nsw i64 %65, 1
store i64 %66, i64* %11
%67 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 0
%68 = load i64, i64* %11
%69 = call i32 @snprintf(i8* %67, i32 11, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), i64 %68)
%70 = load i32, i32* %7
%71 = load i32, i32* @SEEK_SET
%72 = call i32 @lseek(i32 %70, i32 0, i32 %71)
%73 = icmp eq i32 %72, -1
br i1 %73, label %74, label %81
74: ; preds = %53
br label %75
75: ; preds = %74
%76 = load i32, i32* @errno
store i32 %76, i32* @errno
%77 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%78 = load i32, i32* @EXIT_FAILURE
%79 = call i32 @exit(i32 %78)
unreachable
80: ; No predecessors!
br label %81
81: ; preds = %80, %53
%82 = load i32, i32* %7
%83 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 0
%84 = getelementptr inbounds [11 x i8], [11 x i8]* %9, i64 0, i64 0
%85 = call i32 @strlen(i8* %84)
%86 = call i32 @write(i32 %82, i8* %83, i32 %85)
%87 = icmp eq i32 %86, -1
br i1 %87, label %88, label %95
88: ; preds = %81
br label %89
89: ; preds = %88
%90 = load i32, i32* @errno
store i32 %90, i32* @errno
%91 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0))
%92 = load i32, i32* @EXIT_FAILURE
%93 = call i32 @exit(i32 %92)
unreachable
94: ; No predecessors!
br label %95
95: ; preds = %94, %81
%96 = load i32, i32* %7
%97 = call i32 @my_unlock(i32 %96)
%98 = call i32 @sleep(i32 1)
br label %99
99: ; preds = %95
%100 = load i32, i32* %8
%101 = add nsw i32 %100, 1
store i32 %101, i32* %8
br label %24
102: ; preds = %24
%103 = load i32, i32* %7
%104 = call i32 @close(i32 %103)
%105 = icmp eq i32 %104, -1
br i1 %105, label %106, label %113
106: ; preds = %102
br label %107
107: ; preds = %106
%108 = load i32, i32* @errno
store i32 %108, i32* @errno
%109 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0))
%110 = load i32, i32* @EXIT_FAILURE
%111 = call i32 @exit(i32 %110)
unreachable
112: ; No predecessors!
br label %113
113: ; preds = %112, %102
%114 = load i32, i32* @EXIT_SUCCESS
%115 = call i32 @exit(i32 %114)
unreachable
}

LLVM IR (-O2):
@.str = [9 x i8] c"testfile\00"
@O_RDWR = global i32 0
@errno = global i32 0
@.str.1 = [5 x i8] c"open\00"
@EXIT_FAILURE = global i32 0
@SEEK_SET = global i32 0
@.str.2 = [6 x i8] c"lseek\00"
@.str.3 = [5 x i8] c"read\00"
@.str.4 = [5 x i8] c"%ld\0A\00"
@.str.5 = [26 x i8] c"%s: pid = %ld, seq = %ld\0A\00"
@.str.6 = [6 x i8] c"write\00"
@.str.7 = [6 x i8] c"close\00"
@EXIT_SUCCESS = global i32 0
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = alloca [11 x i8]
%4 = alloca i64
%5 = getelementptr inbounds [11 x i8], [11 x i8]* %3, i64 0, i64 0
%6 = bitcast i64* %4 to i8*
%7 = tail call i64 (...) @getpid()
%8 = load i32, i32* @O_RDWR
%9 = tail call i32 @open(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32 %8)
%10 = icmp eq i32 %9, -1
br i1 %10, label %11, label %15
11: ; preds = %2
%12 = tail call i32 @perror(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%13 = load i32, i32* @EXIT_FAILURE
%14 = tail call i32 @exit(i32 %13)
unreachable
15: ; preds = %2, %57
%16 = phi i32 [ %60, %57 ], [ 0, %2 ]
%17 = call i32 @my_lock(i32 %9)
%18 = load i32, i32* @SEEK_SET
%19 = call i32 @lseek(i32 %9, i32 0, i32 %18)
%20 = icmp eq i32 %19, -1
br i1 %20, label %21, label %25
21: ; preds = %15
%22 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%23 = load i32, i32* @EXIT_FAILURE
%24 = call i32 @exit(i32 %23)
unreachable
25: ; preds = %15
%26 = call i32 @read(i32 %9, i8* %5, i32 10)
%27 = icmp eq i32 %26, -1
br i1 %27, label %28, label %32
28: ; preds = %25
%29 = call i32 @perror(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
%30 = load i32, i32* @EXIT_FAILURE
%31 = call i32 @exit(i32 %30)
unreachable
32: ; preds = %25
%33 = sext i32 %26 to i64
%34 = getelementptr inbounds [11 x i8], [11 x i8]* %3, i64 0, i64 %33
store i8 0, i8* %34
%35 = call i32 @sscanf(i8* %5, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), i64* %4)
%36 = load i8*, i8** %1
%37 = load i64, i64* %4
%38 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0), i8* %36, i64 %7, i64 %37)
%39 = load i64, i64* %4
%40 = add nsw i64 %39, 1
store i64 %40, i64* %4
%41 = call i32 @snprintf(i8* %5, i32 11, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), i64 %40)
%42 = load i32, i32* @SEEK_SET
%43 = call i32 @lseek(i32 %9, i32 0, i32 %42)
%44 = icmp eq i32 %43, -1
br i1 %44, label %45, label %49
45: ; preds = %32
%46 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%47 = load i32, i32* @EXIT_FAILURE
%48 = call i32 @exit(i32 %47)
unreachable
49: ; preds = %32
%50 = call i32 @strlen(i8* %5)
%51 = call i32 @write(i32 %9, i8* %5, i32 %50)
%52 = icmp eq i32 %51, -1
br i1 %52, label %53, label %57
53: ; preds = %49
%54 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0))
%55 = load i32, i32* @EXIT_FAILURE
%56 = call i32 @exit(i32 %55)
unreachable
57: ; preds = %49
%58 = call i32 @my_unlock(i32 %9)
%59 = call i32 @sleep(i32 1)
%60 = add nuw nsw i32 %16, 1
%61 = icmp eq i32 %60, 10
br i1 %61, label %62, label %15
62: ; preds = %57
%63 = call i32 @close(i32 %9)
%64 = icmp eq i32 %63, -1
br i1 %64, label %65, label %69
65: ; preds = %62
%66 = call i32 @perror(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0))
%67 = load i32, i32* @EXIT_FAILURE
%68 = call i32 @exit(i32 %67)
unreachable
69: ; preds = %62
%70 = load i32, i32* @EXIT_SUCCESS
%71 = call i32 @exit(i32 %70)
unreachable
}