#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 */
scalar_t__ calloc(size_t, int);
char digito_verificador(char *, int const);
int /*<<< orphan*/ fisica_clave_abreviada(char *, char *, char *, char *,
                                          char const *, char const *,
                                          char const *, int const);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ homonimia(char *, char *, char *, int const);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
scalar_t__ recover_translations(char *, unsigned char *);
int /*<<< orphan*/ snprintf(char *, int, char *, char);
int strlen(char const *);
int /*<<< orphan*/ strncat(char *, char *, int);
int /*<<< orphan*/ strncpy(char *, char *, size_t);
char *to_upper_case_and_convert(unsigned char *);
char *clave_rfc_persona_fisica(char *clave, const char *nombre,
                               const char *paterno, const char *materno,
                               const char *year, const char *month,
                               const char *day, const int debug) {
  char clave_diferenciadora[3];
  char verificador[2];
  char digito = 0;
  char *unombre = 0;
  char *upaterno = 0;
  char *umaterno = 0;
  char *apellidos = NULL;
  size_t apellidos_len = 0;
  char tmp_clave[14];
  unombre = to_upper_case_and_convert((unsigned char *)nombre);
  upaterno = to_upper_case_and_convert((unsigned char *)paterno);
  if (materno != NULL) {
    if (strlen(materno)) {
      umaterno = to_upper_case_and_convert((unsigned char *)materno);
    }
  }
  memset(tmp_clave, 0, 14);
  fisica_clave_abreviada(tmp_clave, unombre, upaterno, umaterno, year, month,
                         day, debug);
  apellidos_len = strlen(upaterno);
  if (umaterno != NULL) {
    apellidos_len += strlen(umaterno) + 2;
    apellidos = (char *)calloc(apellidos_len, sizeof(char));
    memset(apellidos, 0, apellidos_len);
    strncpy(apellidos, upaterno, strlen(upaterno));
    strncat(apellidos, " ", 1);
    strncat(apellidos, umaterno, strlen(umaterno));
  } else {
    apellidos = (char *)calloc(apellidos_len + 1, sizeof(char));
    memset(apellidos, 0, apellidos_len + 1);
    strncpy(apellidos, upaterno, apellidos_len);
  }
  memset(clave_diferenciadora, 0, 3);
  homonimia(clave_diferenciadora, unombre, apellidos, debug);
  if (umaterno != NULL)
    free(umaterno);
  free(upaterno);
  free(unombre);
  strncat(tmp_clave, clave_diferenciadora, 2);
  free(apellidos);
  digito = digito_verificador(tmp_clave, debug);
  snprintf(verificador, 2, "%c", digito);
  strncat(tmp_clave, verificador, 1);
  memset(clave, 0, 18);
  clave = (char *)recover_translations(tmp_clave, (unsigned char *)clave);
  return clave;
}


x86 assembly (clang, -O0):
<clave_rfc_persona_fisica>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movb   $0x0,-0x36(%rbp)
movq   $0x0,-0x40(%rbp)
movq   $0x0,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
movq   $0x0,-0x58(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x10(%rbp),%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,-0x48(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     125f <clave_rfc_persona_fisica+0x9f>
mov    -0x20(%rbp),%rdi
call   1050 <strlen@plt>
cmp    $0x0,%eax
je     125a <clave_rfc_persona_fisica+0x9a>
mov    -0x20(%rbp),%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,-0x50(%rbp)
jmp    125f <clave_rfc_persona_fisica+0x9f>
lea    -0x6e(%rbp),%rdi
xor    %esi,%esi
mov    $0xe,%edx
call   1090 <memset@plt>
lea    -0x6e(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x30(%rbp),%r9
mov    0x10(%rbp),%r10
mov    0x18(%rbp),%eax
mov    %r10,(%rsp)
mov    %eax,0x8(%rsp)
call   10d0 <fisica_clave_abreviada@plt>
mov    -0x48(%rbp),%rdi
call   1050 <strlen@plt>
cltq
mov    %rax,-0x60(%rbp)
cmpq   $0x0,-0x50(%rbp)
je     1365 <clave_rfc_persona_fisica+0x1a5>
mov    -0x50(%rbp),%rdi
call   1050 <strlen@plt>
add    $0x2,%eax
cltq
add    -0x60(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rdi
mov    $0x1,%esi
call   10b0 <calloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rax
mov    %eax,%edx
xor    %esi,%esi
call   1090 <memset@plt>
mov    -0x58(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x48(%rbp),%rdi
call   1050 <strlen@plt>
mov    -0x90(%rbp),%rdi
mov    -0x88(%rbp),%rsi
movslq %eax,%rdx
call   1040 <strncpy@plt>
mov    -0x58(%rbp),%rdi
lea    0xcd2(%rip),%rsi
mov    $0x1,%edx
call   10a0 <strncat@plt>
mov    -0x58(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x50(%rbp),%rdi
call   1050 <strlen@plt>
mov    -0x80(%rbp),%rdi
mov    -0x78(%rbp),%rsi
mov    %eax,%edx
call   10a0 <strncat@plt>
jmp    13a1 <clave_rfc_persona_fisica+0x1e1>
mov    -0x60(%rbp),%rdi
add    $0x1,%rdi
mov    $0x1,%esi
call   10b0 <calloc@plt>
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1090 <memset@plt>
mov    -0x58(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x60(%rbp),%rdx
call   1040 <strncpy@plt>
lea    -0x33(%rbp),%rdi
xor    %esi,%esi
mov    $0x3,%edx
call   1090 <memset@plt>
lea    -0x33(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    -0x58(%rbp),%rdx
mov    0x18(%rbp),%ecx
call   1070 <homonimia@plt>
cmpq   $0x0,-0x50(%rbp)
je     13d9 <clave_rfc_persona_fisica+0x219>
mov    -0x50(%rbp),%rdi
call   1030 <free@plt>
mov    -0x48(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
lea    -0x6e(%rbp),%rdi
lea    -0x33(%rbp),%rsi
mov    $0x2,%edx
call   10a0 <strncat@plt>
mov    -0x58(%rbp),%rdi
call   1030 <free@plt>
lea    -0x6e(%rbp),%rdi
mov    0x18(%rbp),%esi
call   10c0 <digito_verificador@plt>
mov    %al,-0x36(%rbp)
lea    -0x35(%rbp),%rdi
mov    $0x2,%esi
lea    0xbdd(%rip),%rdx
movsbl -0x36(%rbp),%ecx
call   1080 <snprintf@plt>
lea    -0x6e(%rbp),%rdi
lea    -0x35(%rbp),%rsi
mov    $0x1,%edx
call   10a0 <strncat@plt>
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
mov    $0x12,%edx
call   1090 <memset@plt>
lea    -0x6e(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1060 <recover_translations@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<clave_rfc_persona_fisica>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r9,%r12
mov    %r8,%r14
mov    %rcx,%rbx
mov    %rdx,%rbp
mov    %rdi,0x20(%rsp)
mov    0x70(%rsp),%r15
mov    %rsi,%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,0x10(%rsp)
mov    %rbp,%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,%r13
mov    %r15,%rbp
test   %rbx,%rbx
je     121d <clave_rfc_persona_fisica+0x5d>
mov    %rbx,%rdi
call   1050 <strlen@plt>
test   %eax,%eax
je     121d <clave_rfc_persona_fisica+0x5d>
mov    %rbx,%rdi
call   10e0 <to_upper_case_and_convert@plt>
mov    %rax,%r15
jmp    1220 <clave_rfc_persona_fisica+0x60>
xor    %r15d,%r15d
lea    0x2a(%rsp),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0xe,%edx
call   1090 <memset@plt>
mov    %rbx,%rdi
mov    0x10(%rsp),%rsi
mov    %r13,%rdx
mov    %r15,%rcx
mov    %r14,%r8
mov    %r12,%r9
mov    0x78(%rsp),%r12d
push   %r12
push   %rbp
call   10d0 <fisica_clave_abreviada@plt>
add    $0x10,%rsp
mov    %r13,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbx
test   %r15,%r15
je     12d7 <clave_rfc_persona_fisica+0x117>
mov    %r15,%rdi
call   1050 <strlen@plt>
cltq
add    %rax,%rbx
add    $0x2,%rbx
mov    %rbx,%rdi
mov    $0x1,%esi
call   10b0 <calloc@plt>
mov    %rax,%rbp
mov    %rax,%rdi
xor    %esi,%esi
mov    %ebx,%edx
call   1090 <memset@plt>
mov    %r13,%rdi
call   1050 <strlen@plt>
movslq %eax,%rdx
mov    %rbp,%rdi
mov    %r13,%rsi
call   1040 <strncpy@plt>
lea    0xd4d(%rip),%rsi
mov    %rbp,%rdi
mov    $0x1,%edx
call   10a0 <strncat@plt>
mov    %r15,%rdi
call   1050 <strlen@plt>
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %eax,%edx
call   10a0 <strncat@plt>
jmp    1306 <clave_rfc_persona_fisica+0x146>
lea    0x1(%rbx),%r14
mov    %r14,%rdi
mov    $0x1,%esi
call   10b0 <calloc@plt>
mov    %rax,%rbp
mov    %rax,%rdi
xor    %esi,%esi
mov    %r14d,%edx
call   1090 <memset@plt>
mov    %rbp,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1040 <strncpy@plt>
mov    0x20(%rsp),%r14
lea    0xd(%rsp),%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x3,%edx
call   1090 <memset@plt>
mov    %rbx,%rdi
mov    0x10(%rsp),%rsi
mov    %rbp,%rdx
mov    %r12d,%ecx
call   1070 <homonimia@plt>
test   %r15,%r15
je     133f <clave_rfc_persona_fisica+0x17f>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r13,%rdi
call   1030 <free@plt>
mov    0x10(%rsp),%rdi
call   1030 <free@plt>
lea    0x2a(%rsp),%rbx
lea    0xd(%rsp),%rsi
mov    %rbx,%rdi
mov    $0x2,%edx
call   10a0 <strncat@plt>
mov    %rbp,%rdi
call   1030 <free@plt>
mov    %rbx,%rdi
mov    %r12d,%esi
call   10c0 <digito_verificador@plt>
movsbl %al,%ecx
lea    0xc7d(%rip),%rdx
lea    0x1e(%rsp),%rbp
mov    %rbp,%rdi
mov    $0x2,%esi
call   1080 <snprintf@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    $0x1,%edx
call   10a0 <strncat@plt>
mov    %r14,%rdi
xor    %esi,%esi
mov    $0x12,%edx
call   1090 <memset@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1060 <recover_translations@plt>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c" \00"
@.str.1 = [3 x i8] c"%c\00"
define i8* @clave_rfc_persona_fisica(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i32 %7) {
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i32
%17 = alloca [3 x i8]
%18 = alloca [2 x i8]
%19 = alloca i8
%20 = alloca i8*
%21 = alloca i8*
%22 = alloca i8*
%23 = alloca i8*
%24 = alloca i64
%25 = alloca [14 x i8]
store i8* %0, i8** %9
store i8* %1, i8** %10
store i8* %2, i8** %11
store i8* %3, i8** %12
store i8* %4, i8** %13
store i8* %5, i8** %14
store i8* %6, i8** %15
store i32 %7, i32* %16
store i8 0, i8* %19
store i8* null, i8** %20
store i8* null, i8** %21
store i8* null, i8** %22
store i8* null, i8** %23
store i64 0, i64* %24
%26 = load i8*, i8** %10
%27 = call i8* @to_upper_case_and_convert(i8* %26)
store i8* %27, i8** %20
%28 = load i8*, i8** %11
%29 = call i8* @to_upper_case_and_convert(i8* %28)
store i8* %29, i8** %21
%30 = load i8*, i8** %12
%31 = icmp ne i8* %30, null
br i1 %31, label %32, label %40
32: ; preds = %8
%33 = load i8*, i8** %12
%34 = call i32 @strlen(i8* %33)
%35 = icmp ne i32 %34, 0
br i1 %35, label %36, label %39
36: ; preds = %32
%37 = load i8*, i8** %12
%38 = call i8* @to_upper_case_and_convert(i8* %37)
store i8* %38, i8** %22
br label %39
39: ; preds = %36, %32
br label %40
40: ; preds = %39, %8
%41 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%42 = call i32 @memset(i8* %41, i32 0, i32 14)
%43 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%44 = load i8*, i8** %20
%45 = load i8*, i8** %21
%46 = load i8*, i8** %22
%47 = load i8*, i8** %13
%48 = load i8*, i8** %14
%49 = load i8*, i8** %15
%50 = load i32, i32* %16
%51 = call i32 @fisica_clave_abreviada(i8* %43, i8* %44, i8* %45, i8* %46, i8* %47, i8* %48, i8* %49, i32 %50)
%52 = load i8*, i8** %21
%53 = call i32 @strlen(i8* %52)
%54 = sext i32 %53 to i64
store i64 %54, i64* %24
%55 = load i8*, i8** %22
%56 = icmp ne i8* %55, null
br i1 %56, label %57, label %84
57: ; preds = %40
%58 = load i8*, i8** %22
%59 = call i32 @strlen(i8* %58)
%60 = add nsw i32 %59, 2
%61 = sext i32 %60 to i64
%62 = load i64, i64* %24
%63 = add i64 %62, %61
store i64 %63, i64* %24
%64 = load i64, i64* %24
%65 = call i64 @calloc(i64 %64, i32 1)
%66 = inttoptr i64 %65 to i8*
store i8* %66, i8** %23
%67 = load i8*, i8** %23
%68 = load i64, i64* %24
%69 = trunc i64 %68 to i32
%70 = call i32 @memset(i8* %67, i32 0, i32 %69)
%71 = load i8*, i8** %23
%72 = load i8*, i8** %21
%73 = load i8*, i8** %21
%74 = call i32 @strlen(i8* %73)
%75 = sext i32 %74 to i64
%76 = call i32 @strncpy(i8* %71, i8* %72, i64 %75)
%77 = load i8*, i8** %23
%78 = call i32 @strncat(i8* %77, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32 1)
%79 = load i8*, i8** %23
%80 = load i8*, i8** %22
%81 = load i8*, i8** %22
%82 = call i32 @strlen(i8* %81)
%83 = call i32 @strncat(i8* %79, i8* %80, i32 %82)
br label %98
84: ; preds = %40
%85 = load i64, i64* %24
%86 = add i64 %85, 1
%87 = call i64 @calloc(i64 %86, i32 1)
%88 = inttoptr i64 %87 to i8*
store i8* %88, i8** %23
%89 = load i8*, i8** %23
%90 = load i64, i64* %24
%91 = add i64 %90, 1
%92 = trunc i64 %91 to i32
%93 = call i32 @memset(i8* %89, i32 0, i32 %92)
%94 = load i8*, i8** %23
%95 = load i8*, i8** %21
%96 = load i64, i64* %24
%97 = call i32 @strncpy(i8* %94, i8* %95, i64 %96)
br label %98
98: ; preds = %84, %57
%99 = getelementptr inbounds [3 x i8], [3 x i8]* %17, i64 0, i64 0
%100 = call i32 @memset(i8* %99, i32 0, i32 3)
%101 = getelementptr inbounds [3 x i8], [3 x i8]* %17, i64 0, i64 0
%102 = load i8*, i8** %20
%103 = load i8*, i8** %23
%104 = load i32, i32* %16
%105 = call i32 @homonimia(i8* %101, i8* %102, i8* %103, i32 %104)
%106 = load i8*, i8** %22
%107 = icmp ne i8* %106, null
br i1 %107, label %108, label %111
108: ; preds = %98
%109 = load i8*, i8** %22
%110 = call i32 @free(i8* %109)
br label %111
111: ; preds = %108, %98
%112 = load i8*, i8** %21
%113 = call i32 @free(i8* %112)
%114 = load i8*, i8** %20
%115 = call i32 @free(i8* %114)
%116 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%117 = getelementptr inbounds [3 x i8], [3 x i8]* %17, i64 0, i64 0
%118 = call i32 @strncat(i8* %116, i8* %117, i32 2)
%119 = load i8*, i8** %23
%120 = call i32 @free(i8* %119)
%121 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%122 = load i32, i32* %16
%123 = call signext i8 @digito_verificador(i8* %121, i32 %122)
store i8 %123, i8* %19
%124 = getelementptr inbounds [2 x i8], [2 x i8]* %18, i64 0, i64 0
%125 = load i8, i8* %19
%126 = call i32 @snprintf(i8* %124, i32 2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8 signext %125)
%127 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%128 = getelementptr inbounds [2 x i8], [2 x i8]* %18, i64 0, i64 0
%129 = call i32 @strncat(i8* %127, i8* %128, i32 1)
%130 = load i8*, i8** %9
%131 = call i32 @memset(i8* %130, i32 0, i32 18)
%132 = getelementptr inbounds [14 x i8], [14 x i8]* %25, i64 0, i64 0
%133 = load i8*, i8** %9
%134 = call i64 @recover_translations(i8* %132, i8* %133)
%135 = inttoptr i64 %134 to i8*
store i8* %135, i8** %9
%136 = load i8*, i8** %9
ret i8* %136
}

LLVM IR (-O2):
@.str = [2 x i8] c" \00"
@.str.1 = [3 x i8] c"%c\00"
define i8* @clave_rfc_persona_fisica(i8* %0, i8* %1, i8* %2, i8* %3, i8* %4, i8* %5, i8* %6, i32 %7) {
%9 = alloca [3 x i8]
%10 = alloca [2 x i8]
%11 = alloca [14 x i8]
%12 = getelementptr inbounds [3 x i8], [3 x i8]* %9, i64 0, i64 0
%13 = getelementptr inbounds [2 x i8], [2 x i8]* %10, i64 0, i64 0
%14 = getelementptr inbounds [14 x i8], [14 x i8]* %11, i64 0, i64 0
%15 = tail call i8* @to_upper_case_and_convert(i8* %1)
%16 = tail call i8* @to_upper_case_and_convert(i8* %2)
%17 = icmp eq i8* %3, null
br i1 %17, label %23, label %18
18: ; preds = %8
%19 = tail call i32 @strlen(i8* %3)
%20 = icmp eq i32 %19, 0
br i1 %20, label %23, label %21
21: ; preds = %18
%22 = tail call i8* @to_upper_case_and_convert(i8* %3)
br label %23
23: ; preds = %18, %21, %8
%24 = phi i8* [ %22, %21 ], [ null, %18 ], [ null, %8 ]
%25 = call i32 @memset(i8* %14, i32 0, i32 14)
%26 = call i32 @fisica_clave_abreviada(i8* %14, i8* %15, i8* %16, i8* %24, i8* %4, i8* %5, i8* %6, i32 %7)
%27 = call i32 @strlen(i8* %16)
%28 = sext i32 %27 to i64
%29 = icmp eq i8* %24, null
br i1 %29, label %45, label %30
30: ; preds = %23
%31 = call i32 @strlen(i8* %24)
%32 = add nsw i32 %31, 2
%33 = sext i32 %32 to i64
%34 = add nsw i64 %33, %28
%35 = call i64 @calloc(i64 %34, i32 1)
%36 = inttoptr i64 %35 to i8*
%37 = trunc i64 %34 to i32
%38 = call i32 @memset(i8* %36, i32 0, i32 %37)
%39 = call i32 @strlen(i8* %16)
%40 = sext i32 %39 to i64
%41 = call i32 @strncpy(i8* %36, i8* %16, i64 %40)
%42 = call i32 @strncat(i8* %36, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i32 1)
%43 = call i32 @strlen(i8* %24)
%44 = call i32 @strncat(i8* %36, i8* %24, i32 %43)
br label %52
45: ; preds = %23
%46 = add nsw i64 %28, 1
%47 = call i64 @calloc(i64 %46, i32 1)
%48 = inttoptr i64 %47 to i8*
%49 = trunc i64 %46 to i32
%50 = call i32 @memset(i8* %48, i32 0, i32 %49)
%51 = call i32 @strncpy(i8* %48, i8* %16, i64 %28)
br label %52
52: ; preds = %45, %30
%53 = phi i8* [ %36, %30 ], [ %48, %45 ]
%54 = call i32 @memset(i8* %12, i32 0, i32 3)
%55 = call i32 @homonimia(i8* %12, i8* %15, i8* %53, i32 %7)
br i1 %29, label %58, label %56
56: ; preds = %52
%57 = call i32 @free(i8* %24)
br label %58
58: ; preds = %56, %52
%59 = call i32 @free(i8* %16)
%60 = call i32 @free(i8* %15)
%61 = call i32 @strncat(i8* %14, i8* %12, i32 2)
%62 = call i32 @free(i8* %53)
%63 = call signext i8 @digito_verificador(i8* %14, i32 %7)
%64 = call i32 @snprintf(i8* %13, i32 2, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8 signext %63)
%65 = call i32 @strncat(i8* %14, i8* %13, i32 1)
%66 = call i32 @memset(i8* %0, i32 0, i32 18)
%67 = call i64 @recover_translations(i8* %14, i8* %0)
%68 = inttoptr i64 %67 to i8*
ret i8* %68
}