#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*/ d_in_range(double, int, int);
int /*<<< orphan*/ i_in_range(int, int, int);
int /*<<< orphan*/ is_boolean(int);
int /*<<< orphan*/ strlcat(char *, char *, int);
int death_male_validation(int b_AF, int b_ra, int b_renal, int b_treatedhyp,
                          int b_type2, double bmi, int ethrisk, int fh_cvd,
                          double rati, double sbp, int smoke_cat, double town,
                          char *errorBuf, int errorBufSize) {
  int ok = 1;
  *errorBuf = 0;
  if (!is_boolean(b_AF)) {
    ok = 0;
    strlcat(errorBuf, "error: b_AF must be in range (0,1)\n", errorBufSize);
  }
  if (!is_boolean(b_ra)) {
    ok = 0;
    strlcat(errorBuf, "error: b_ra must be in range (0,1)\n", errorBufSize);
  }
  if (!is_boolean(b_renal)) {
    ok = 0;
    strlcat(errorBuf, "error: b_renal must be in range (0,1)\n", errorBufSize);
  }
  if (!is_boolean(b_treatedhyp)) {
    ok = 0;
    strlcat(errorBuf, "error: b_treatedhyp must be in range (0,1)\n",
            errorBufSize);
  }
  if (!is_boolean(b_type2)) {
    ok = 0;
    strlcat(errorBuf, "error: b_type2 must be in range (0,1)\n", errorBufSize);
  }
  if (!d_in_range(bmi, 20, 40)) {
    ok = 0;
    strlcat(errorBuf, "error: bmi must be in range (20,40)\n", errorBufSize);
  }
  if (!i_in_range(ethrisk, 1, 9)) {
    ok = 0;
    strlcat(errorBuf, "error: ethrisk must be in range (1,9)\n", errorBufSize);
  }
  if (!is_boolean(fh_cvd)) {
    ok = 0;
    strlcat(errorBuf, "error: fh_cvd must be in range (0,1)\n", errorBufSize);
  }
  if (!d_in_range(rati, 1, 12)) {
    ok = 0;
    strlcat(errorBuf, "error: rati must be in range (1,12)\n", errorBufSize);
  }
  if (!d_in_range(sbp, 70, 210)) {
    ok = 0;
    strlcat(errorBuf, "error: sbp must be in range (70,210)\n", errorBufSize);
  }
  if (!i_in_range(smoke_cat, 0, 4)) {
    ok = 0;
    strlcat(errorBuf, "error: smoke_cat must be in range (0,4)\n",
            errorBufSize);
  }
  if (!d_in_range(town, -7, 11)) {
    ok = 0;
    strlcat(errorBuf, "error: town must be in range (-7,11)\n", errorBufSize);
  }
  return ok;
}


x86 assembly (clang, -O0):
<death_male_validation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
movsd  %xmm0,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movsd  %xmm1,-0x30(%rbp)
movsd  %xmm2,-0x38(%rbp)
movsd  %xmm3,-0x40(%rbp)
movl   $0x1,-0x44(%rbp)
mov    0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x4(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    11b6 <death_male_validation+0x76>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe4f(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0x8(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    11e1 <death_male_validation+0xa1>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe48(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0xc(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    120c <death_male_validation+0xcc>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe41(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0x10(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    1237 <death_male_validation+0xf7>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe3d(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0x14(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    1262 <death_male_validation+0x122>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe3e(%rip),%rsi
call   1040 <strlcat@plt>
movsd  -0x20(%rbp),%xmm0
mov    $0x14,%edi
mov    $0x28,%esi
call   1030 <d_in_range@plt>
cmp    $0x0,%eax
jne    1299 <death_male_validation+0x159>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe2e(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0x24(%rbp),%edi
mov    $0x1,%esi
mov    $0x9,%edx
call   1060 <i_in_range@plt>
cmp    $0x0,%eax
jne    12ce <death_male_validation+0x18e>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe1e(%rip),%rsi
call   1040 <strlcat@plt>
mov    0x10(%rbp),%edi
call   1050 <is_boolean@plt>
cmp    $0x0,%eax
jne    12f9 <death_male_validation+0x1b9>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe1a(%rip),%rsi
call   1040 <strlcat@plt>
movsd  -0x30(%rbp),%xmm0
mov    $0x1,%edi
mov    $0xc,%esi
call   1030 <d_in_range@plt>
cmp    $0x0,%eax
jne    1330 <death_male_validation+0x1f0>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xe09(%rip),%rsi
call   1040 <strlcat@plt>
movsd  -0x38(%rbp),%xmm0
mov    $0x46,%edi
mov    $0xd2,%esi
call   1030 <d_in_range@plt>
cmp    $0x0,%eax
jne    1367 <death_male_validation+0x227>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xdf7(%rip),%rsi
call   1040 <strlcat@plt>
mov    0x18(%rbp),%edi
xor    %esi,%esi
mov    $0x4,%edx
call   1060 <i_in_range@plt>
cmp    $0x0,%eax
jne    1399 <death_male_validation+0x259>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xdeb(%rip),%rsi
call   1040 <strlcat@plt>
movsd  -0x40(%rbp),%xmm0
mov    $0xfffffff9,%edi
mov    $0xb,%esi
call   1030 <d_in_range@plt>
cmp    $0x0,%eax
jne    13d0 <death_male_validation+0x290>
movl   $0x0,-0x44(%rbp)
mov    0x20(%rbp),%rdi
mov    0x28(%rbp),%edx
lea    0xddd(%rip),%rsi
call   1040 <strlcat@plt>
mov    -0x44(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<death_male_validation>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
movsd  %xmm3,0x20(%rsp)
movsd  %xmm2,0x18(%rsp)
movsd  %xmm1,0x10(%rsp)
mov    %r9d,0x4(%rsp)
movsd  %xmm0,0x8(%rsp)
mov    %r8d,(%rsp)
mov    %ecx,%ebx
mov    %edx,%r14d
mov    %esi,%r15d
mov    0x78(%rsp),%r13d
mov    0x70(%rsp),%rax
mov    %rax,%r12
movb   $0x0,(%rax)
call   1050 <is_boolean@plt>
mov    $0x1,%ebp
test   %eax,%eax
jne    11a9 <death_male_validation+0x69>
lea    0xe64(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %r15d,%edi
call   1050 <is_boolean@plt>
test   %eax,%eax
jne    11c9 <death_male_validation+0x89>
lea    0xe68(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %r14d,%edi
call   1050 <is_boolean@plt>
test   %eax,%eax
jne    11e9 <death_male_validation+0xa9>
lea    0xe6c(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %ebx,%edi
call   1050 <is_boolean@plt>
test   %eax,%eax
jne    1208 <death_male_validation+0xc8>
lea    0xe74(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    (%rsp),%edi
call   1050 <is_boolean@plt>
test   %eax,%eax
jne    1228 <death_male_validation+0xe8>
lea    0xe80(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
movsd  0x8(%rsp),%xmm0
mov    $0x14,%edi
mov    $0x28,%esi
call   1030 <d_in_range@plt>
test   %eax,%eax
jne    1255 <death_male_validation+0x115>
lea    0xe7a(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    0x60(%rsp),%ebx
mov    0x4(%rsp),%edi
mov    $0x1,%esi
mov    $0x9,%edx
call   1060 <i_in_range@plt>
test   %eax,%eax
jne    1284 <death_male_validation+0x144>
lea    0xe70(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %ebx,%edi
call   1050 <is_boolean@plt>
test   %eax,%eax
jne    12a3 <death_male_validation+0x163>
lea    0xe78(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
movsd  0x10(%rsp),%xmm0
mov    $0x1,%edi
mov    $0xc,%esi
call   1030 <d_in_range@plt>
test   %eax,%eax
jne    12d0 <death_male_validation+0x190>
lea    0xe71(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    0x68(%rsp),%ebx
movsd  0x18(%rsp),%xmm0
mov    $0x46,%edi
mov    $0xd2,%esi
call   1030 <d_in_range@plt>
test   %eax,%eax
jne    1301 <death_male_validation+0x1c1>
lea    0xe65(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %ebx,%edi
xor    %esi,%esi
mov    $0x4,%edx
call   1060 <i_in_range@plt>
test   %eax,%eax
jne    1327 <death_male_validation+0x1e7>
lea    0xe65(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
movsd  0x20(%rsp),%xmm0
mov    $0xfffffff9,%edi
mov    $0xb,%esi
call   1030 <d_in_range@plt>
test   %eax,%eax
jne    1354 <death_male_validation+0x214>
lea    0xe61(%rip),%rsi
mov    %r12,%rdi
mov    %r13d,%edx
call   1040 <strlcat@plt>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [36 x i8] c"error: b_AF must be in range (0,1)\0A\00"
@.str.1 = [36 x i8] c"error: b_ra must be in range (0,1)\0A\00"
@.str.2 = [39 x i8] c"error: b_renal must be in range (0,1)\0A\00"
@.str.3 = [44 x i8] c"error: b_treatedhyp must be in range (0,1)\0A\00"
@.str.4 = [39 x i8] c"error: b_type2 must be in range (0,1)\0A\00"
@.str.5 = [37 x i8] c"error: bmi must be in range (20,40)\0A\00"
@.str.6 = [39 x i8] c"error: ethrisk must be in range (1,9)\0A\00"
@.str.7 = [38 x i8] c"error: fh_cvd must be in range (0,1)\0A\00"
@.str.8 = [37 x i8] c"error: rati must be in range (1,12)\0A\00"
@.str.9 = [38 x i8] c"error: sbp must be in range (70,210)\0A\00"
@.str.10 = [41 x i8] c"error: smoke_cat must be in range (0,4)\0A\00"
@.str.11 = [38 x i8] c"error: town must be in range (-7,11)\0A\00"
define i32 @death_male_validation(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, double %5, i32 %6, i32 %7, double %8, double %9, i32 %10, double %11, i8* %12, i32 %13) {
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca double
%21 = alloca i32
%22 = alloca i32
%23 = alloca double
%24 = alloca double
%25 = alloca i32
%26 = alloca double
%27 = alloca i8*
%28 = alloca i32
%29 = alloca i32
store i32 %0, i32* %15
store i32 %1, i32* %16
store i32 %2, i32* %17
store i32 %3, i32* %18
store i32 %4, i32* %19
store double %5, double* %20
store i32 %6, i32* %21
store i32 %7, i32* %22
store double %8, double* %23
store double %9, double* %24
store i32 %10, i32* %25
store double %11, double* %26
store i8* %12, i8** %27
store i32 %13, i32* %28
store i32 1, i32* %29
%30 = load i8*, i8** %27
store i8 0, i8* %30
%31 = load i32, i32* %15
%32 = call i32 @is_boolean(i32 %31)
%33 = icmp ne i32 %32, 0
br i1 %33, label %38, label %34
34: ; preds = %14
store i32 0, i32* %29
%35 = load i8*, i8** %27
%36 = load i32, i32* %28
%37 = call i32 @strlcat(i8* %35, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %36)
br label %38
38: ; preds = %34, %14
%39 = load i32, i32* %16
%40 = call i32 @is_boolean(i32 %39)
%41 = icmp ne i32 %40, 0
br i1 %41, label %46, label %42
42: ; preds = %38
store i32 0, i32* %29
%43 = load i8*, i8** %27
%44 = load i32, i32* %28
%45 = call i32 @strlcat(i8* %43, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.1, i64 0, i64 0), i32 %44)
br label %46
46: ; preds = %42, %38
%47 = load i32, i32* %17
%48 = call i32 @is_boolean(i32 %47)
%49 = icmp ne i32 %48, 0
br i1 %49, label %54, label %50
50: ; preds = %46
store i32 0, i32* %29
%51 = load i8*, i8** %27
%52 = load i32, i32* %28
%53 = call i32 @strlcat(i8* %51, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.2, i64 0, i64 0), i32 %52)
br label %54
54: ; preds = %50, %46
%55 = load i32, i32* %18
%56 = call i32 @is_boolean(i32 %55)
%57 = icmp ne i32 %56, 0
br i1 %57, label %62, label %58
58: ; preds = %54
store i32 0, i32* %29
%59 = load i8*, i8** %27
%60 = load i32, i32* %28
%61 = call i32 @strlcat(i8* %59, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0), i32 %60)
br label %62
62: ; preds = %58, %54
%63 = load i32, i32* %19
%64 = call i32 @is_boolean(i32 %63)
%65 = icmp ne i32 %64, 0
br i1 %65, label %70, label %66
66: ; preds = %62
store i32 0, i32* %29
%67 = load i8*, i8** %27
%68 = load i32, i32* %28
%69 = call i32 @strlcat(i8* %67, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.4, i64 0, i64 0), i32 %68)
br label %70
70: ; preds = %66, %62
%71 = load double, double* %20
%72 = call i32 @d_in_range(double %71, i32 20, i32 40)
%73 = icmp ne i32 %72, 0
br i1 %73, label %78, label %74
74: ; preds = %70
store i32 0, i32* %29
%75 = load i8*, i8** %27
%76 = load i32, i32* %28
%77 = call i32 @strlcat(i8* %75, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.5, i64 0, i64 0), i32 %76)
br label %78
78: ; preds = %74, %70
%79 = load i32, i32* %21
%80 = call i32 @i_in_range(i32 %79, i32 1, i32 9)
%81 = icmp ne i32 %80, 0
br i1 %81, label %86, label %82
82: ; preds = %78
store i32 0, i32* %29
%83 = load i8*, i8** %27
%84 = load i32, i32* %28
%85 = call i32 @strlcat(i8* %83, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0), i32 %84)
br label %86
86: ; preds = %82, %78
%87 = load i32, i32* %22
%88 = call i32 @is_boolean(i32 %87)
%89 = icmp ne i32 %88, 0
br i1 %89, label %94, label %90
90: ; preds = %86
store i32 0, i32* %29
%91 = load i8*, i8** %27
%92 = load i32, i32* %28
%93 = call i32 @strlcat(i8* %91, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 %92)
br label %94
94: ; preds = %90, %86
%95 = load double, double* %23
%96 = call i32 @d_in_range(double %95, i32 1, i32 12)
%97 = icmp ne i32 %96, 0
br i1 %97, label %102, label %98
98: ; preds = %94
store i32 0, i32* %29
%99 = load i8*, i8** %27
%100 = load i32, i32* %28
%101 = call i32 @strlcat(i8* %99, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.8, i64 0, i64 0), i32 %100)
br label %102
102: ; preds = %98, %94
%103 = load double, double* %24
%104 = call i32 @d_in_range(double %103, i32 70, i32 210)
%105 = icmp ne i32 %104, 0
br i1 %105, label %110, label %106
106: ; preds = %102
store i32 0, i32* %29
%107 = load i8*, i8** %27
%108 = load i32, i32* %28
%109 = call i32 @strlcat(i8* %107, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.9, i64 0, i64 0), i32 %108)
br label %110
110: ; preds = %106, %102
%111 = load i32, i32* %25
%112 = call i32 @i_in_range(i32 %111, i32 0, i32 4)
%113 = icmp ne i32 %112, 0
br i1 %113, label %118, label %114
114: ; preds = %110
store i32 0, i32* %29
%115 = load i8*, i8** %27
%116 = load i32, i32* %28
%117 = call i32 @strlcat(i8* %115, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.10, i64 0, i64 0), i32 %116)
br label %118
118: ; preds = %114, %110
%119 = load double, double* %26
%120 = call i32 @d_in_range(double %119, i32 -7, i32 11)
%121 = icmp ne i32 %120, 0
br i1 %121, label %126, label %122
122: ; preds = %118
store i32 0, i32* %29
%123 = load i8*, i8** %27
%124 = load i32, i32* %28
%125 = call i32 @strlcat(i8* %123, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0), i32 %124)
br label %126
126: ; preds = %122, %118
%127 = load i32, i32* %29
ret i32 %127
}

LLVM IR (-O2):
@.str = [36 x i8] c"error: b_AF must be in range (0,1)\0A\00"
@.str.1 = [36 x i8] c"error: b_ra must be in range (0,1)\0A\00"
@.str.2 = [39 x i8] c"error: b_renal must be in range (0,1)\0A\00"
@.str.3 = [44 x i8] c"error: b_treatedhyp must be in range (0,1)\0A\00"
@.str.4 = [39 x i8] c"error: b_type2 must be in range (0,1)\0A\00"
@.str.5 = [37 x i8] c"error: bmi must be in range (20,40)\0A\00"
@.str.6 = [39 x i8] c"error: ethrisk must be in range (1,9)\0A\00"
@.str.7 = [38 x i8] c"error: fh_cvd must be in range (0,1)\0A\00"
@.str.8 = [37 x i8] c"error: rati must be in range (1,12)\0A\00"
@.str.9 = [38 x i8] c"error: sbp must be in range (70,210)\0A\00"
@.str.10 = [41 x i8] c"error: smoke_cat must be in range (0,4)\0A\00"
@.str.11 = [38 x i8] c"error: town must be in range (-7,11)\0A\00"
define i32 @death_male_validation(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, double %5, i32 %6, i32 %7, double %8, double %9, i32 %10, double %11, i8* %12, i32 %13) {
store i8 0, i8* %12
%15 = tail call i32 @is_boolean(i32 %0)
%16 = icmp eq i32 %15, 0
br i1 %16, label %17, label %19
17: ; preds = %14
%18 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i32 %13)
br label %19
19: ; preds = %17, %14
%20 = phi i32 [ 1, %14 ], [ 0, %17 ]
%21 = tail call i32 @is_boolean(i32 %1)
%22 = icmp eq i32 %21, 0
br i1 %22, label %23, label %25
23: ; preds = %19
%24 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.1, i64 0, i64 0), i32 %13)
br label %25
25: ; preds = %23, %19
%26 = phi i32 [ %20, %19 ], [ 0, %23 ]
%27 = tail call i32 @is_boolean(i32 %2)
%28 = icmp eq i32 %27, 0
br i1 %28, label %29, label %31
29: ; preds = %25
%30 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.2, i64 0, i64 0), i32 %13)
br label %31
31: ; preds = %29, %25
%32 = phi i32 [ %26, %25 ], [ 0, %29 ]
%33 = tail call i32 @is_boolean(i32 %3)
%34 = icmp eq i32 %33, 0
br i1 %34, label %35, label %37
35: ; preds = %31
%36 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.3, i64 0, i64 0), i32 %13)
br label %37
37: ; preds = %35, %31
%38 = phi i32 [ %32, %31 ], [ 0, %35 ]
%39 = tail call i32 @is_boolean(i32 %4)
%40 = icmp eq i32 %39, 0
br i1 %40, label %41, label %43
41: ; preds = %37
%42 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.4, i64 0, i64 0), i32 %13)
br label %43
43: ; preds = %41, %37
%44 = phi i32 [ %38, %37 ], [ 0, %41 ]
%45 = tail call i32 @d_in_range(double %5, i32 20, i32 40)
%46 = icmp eq i32 %45, 0
br i1 %46, label %47, label %49
47: ; preds = %43
%48 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.5, i64 0, i64 0), i32 %13)
br label %49
49: ; preds = %47, %43
%50 = phi i32 [ %44, %43 ], [ 0, %47 ]
%51 = tail call i32 @i_in_range(i32 %6, i32 1, i32 9)
%52 = icmp eq i32 %51, 0
br i1 %52, label %53, label %55
53: ; preds = %49
%54 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.6, i64 0, i64 0), i32 %13)
br label %55
55: ; preds = %53, %49
%56 = phi i32 [ %50, %49 ], [ 0, %53 ]
%57 = tail call i32 @is_boolean(i32 %7)
%58 = icmp eq i32 %57, 0
br i1 %58, label %59, label %61
59: ; preds = %55
%60 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.7, i64 0, i64 0), i32 %13)
br label %61
61: ; preds = %59, %55
%62 = phi i32 [ %56, %55 ], [ 0, %59 ]
%63 = tail call i32 @d_in_range(double %8, i32 1, i32 12)
%64 = icmp eq i32 %63, 0
br i1 %64, label %65, label %67
65: ; preds = %61
%66 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.8, i64 0, i64 0), i32 %13)
br label %67
67: ; preds = %65, %61
%68 = phi i32 [ %62, %61 ], [ 0, %65 ]
%69 = tail call i32 @d_in_range(double %9, i32 70, i32 210)
%70 = icmp eq i32 %69, 0
br i1 %70, label %71, label %73
71: ; preds = %67
%72 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.9, i64 0, i64 0), i32 %13)
br label %73
73: ; preds = %71, %67
%74 = phi i32 [ %68, %67 ], [ 0, %71 ]
%75 = tail call i32 @i_in_range(i32 %10, i32 0, i32 4)
%76 = icmp eq i32 %75, 0
br i1 %76, label %77, label %79
77: ; preds = %73
%78 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.10, i64 0, i64 0), i32 %13)
br label %79
79: ; preds = %77, %73
%80 = phi i32 [ %74, %73 ], [ 0, %77 ]
%81 = tail call i32 @d_in_range(double %11, i32 -7, i32 11)
%82 = icmp eq i32 %81, 0
br i1 %82, label %83, label %85
83: ; preds = %79
%84 = tail call i32 @strlcat(i8* %12, i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.11, i64 0, i64 0), i32 %13)
br label %85
85: ; preds = %83, %79
%86 = phi i32 [ %80, %79 ], [ 0, %83 ]
ret i32 %86
}