char *unexpand_Full(const char *structure) {
  short *match_paren;
  char id[10], *full, *temp;
  int i, j, k, l, o, w;
  temp = (char *)vrna_alloc(4 * strlen(structure) + 2);
  match_paren =
      (short *)vrna_alloc(sizeof(short) * (strlen(structure) / 2 + 1));
  i = strlen(structure) - 1;
  l = o = 0;
  k = 9;
  id[9] = '\0';
  while (i >= 0) {
    switch (structure[i]) {
    case '(':
      for (j = 0; j < match_paren[o]; j++)
        temp[l++] = '(';
      match_paren[o--] = 0;
      break;
    case 'U':
      w = 1;
      sscanf(id + k, "%d", &w);
      for (j = 0; j < w; j++)
        temp[l++] = '.';
      k = 9;
      break;
    case 'P':
      w = 1;
      sscanf(id + k, "%d", &w);
      for (j = 0; j < w; j++)
        temp[l++] = ')';
      match_paren[o] = w;
      k = 9;
      break;
    case 'R':
      break;
    case ')':
      o++;
      break;
    default:
      id[--k] = structure[i];
    }
    i--;
  }
  temp[l] = '\0';
  full = (char *)vrna_alloc(sizeof(char) * (l + 1));
  for (i = 0; i < l; i++)
    full[i] = temp[l - i - 1];
  full[l] = '\0';
  free(temp);
  free(match_paren);
  return full;
}


x86 assembly (clang, -O0):
<unexpand_Full>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,%rdi
shl    $0x2,%rdi
add    $0x2,%rdi
mov    $0x0,%al
call   1060 <vrna_alloc@plt>
cltq
mov    %rax,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,%rdi
shr    $0x1,%rdi
add    $0x1,%rdi
shl    $0x1,%rdi
mov    $0x0,%al
call   1060 <vrna_alloc@plt>
cltq
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
sub    $0x1,%rax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x9,-0x3c(%rbp)
movb   $0x0,-0x11(%rbp)
cmpl   $0x0,-0x34(%rbp)
jl     1371 <unexpand_Full+0x231>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0xffffffd8,%eax
mov    %eax,%ecx
mov    %rcx,-0x50(%rbp)
sub    $0x2d,%eax
ja     1349 <unexpand_Full+0x209>
mov    -0x50(%rbp),%rax
lea    0xe12(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x44(%rbp),%rdx
movswl (%rcx,%rdx,2),%ecx
cmp    %ecx,%eax
jge    1239 <unexpand_Full+0xf9>
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp)
movslq %ecx,%rcx
movb   $0x28,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11fe <unexpand_Full+0xbe>
mov    -0x10(%rbp),%rax
mov    -0x44(%rbp),%ecx
mov    %ecx,%edx
add    $0xffffffff,%edx
mov    %edx,-0x44(%rbp)
movslq %ecx,%rcx
movw   $0x0,(%rax,%rcx,2)
jmp    1363 <unexpand_Full+0x223>
movl   $0x1,-0x48(%rbp)
lea    -0x1a(%rbp),%rdi
movslq -0x3c(%rbp),%rax
add    %rax,%rdi
lea    0xe49(%rip),%rsi
lea    -0x48(%rbp),%rdx
mov    $0x0,%al
call   1050 <sscanf@plt>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    12b1 <unexpand_Full+0x171>
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1281 <unexpand_Full+0x141>
movl   $0x9,-0x3c(%rbp)
jmp    1363 <unexpand_Full+0x223>
movl   $0x1,-0x48(%rbp)
lea    -0x1a(%rbp),%rdi
movslq -0x3c(%rbp),%rax
add    %rax,%rdi
lea    0xde2(%rip),%rsi
lea    -0x48(%rbp),%rdx
mov    $0x0,%al
call   1050 <sscanf@plt>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    1318 <unexpand_Full+0x1d8>
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x40(%rbp)
movslq %ecx,%rcx
movb   $0x29,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    12e8 <unexpand_Full+0x1a8>
mov    -0x48(%rbp),%eax
mov    %ax,%dx
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
movl   $0x9,-0x3c(%rbp)
jmp    1363 <unexpand_Full+0x223>
jmp    1363 <unexpand_Full+0x223>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1363 <unexpand_Full+0x223>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x3c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x3c(%rbp)
cltq
mov    %cl,-0x1a(%rbp,%rax,1)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
jmp    11bb <unexpand_Full+0x7b>
mov    -0x30(%rbp),%rax
movslq -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdi
shl    $0x0,%rdi
mov    $0x0,%al
call   1060 <vrna_alloc@plt>
cltq
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    13d6 <unexpand_Full+0x296>
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
sub    -0x34(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    139e <unexpand_Full+0x25e>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<unexpand_Full>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%r15
call   1040 <strlen@plt>
lea    0x2(,%rax,4),%rdi
xor    %eax,%eax
call   1060 <vrna_alloc@plt>
cltq
mov    %rax,0x10(%rsp)
mov    %r15,%rdi
call   1040 <strlen@plt>
lea    0x2(%rax),%rdi
and    $0xfffffffffffffffe,%rdi
xor    %eax,%eax
call   1060 <vrna_alloc@plt>
movslq %eax,%r12
mov    %r15,%rdi
call   1040 <strlen@plt>
xor    %ebp,%ebp
mov    %rax,%rbx
movb   $0x0,0x27(%rsp)
add    $0xffffffff,%ebx
js     12e5 <unexpand_Full+0x1a5>
mov    $0x9,%eax
lea    0xe53(%rip),%r14
xor    %r13d,%r13d
xor    %ebp,%ebp
jmp    11c9 <unexpand_Full+0x89>
cltq
mov    %cl,0x1d(%rsp,%rax,1)
add    $0xffffffffffffffff,%rax
xchg   %ax,%ax
add    $0xffffffff,%ebx
js     12e5 <unexpand_Full+0x1a5>
mov    %ebx,%ecx
movsbl (%r15,%rcx,1),%ecx
lea    -0x28(%rcx),%edx
cmp    $0x2d,%edx
ja     11b4 <unexpand_Full+0x74>
movslq (%r14,%rdx,4),%rdx
add    %r14,%rdx
jmp    *%rdx
movslq %r13d,%rcx
cmpw   $0x0,(%r12,%rcx,2)
jle    1213 <unexpand_Full+0xd3>
movslq %ebp,%rdx
add    0x10(%rsp),%rdx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
movb   $0x28,(%rdx,%rsi,1)
movswl (%r12,%rcx,2),%edi
add    $0x1,%rsi
cmp    %edi,%esi
jl     1200 <unexpand_Full+0xc0>
add    %esi,%ebp
add    $0xffffffff,%r13d
movw   $0x0,(%r12,%rcx,2)
jmp    11c0 <unexpand_Full+0x80>
add    $0x1,%r13d
jmp    11c0 <unexpand_Full+0x80>
movl   $0x1,0xc(%rsp)
cltq
lea    (%rsp,%rax,1),%rdi
add    $0x1e,%rdi
lea    0xe79(%rip),%rsi
lea    0xc(%rsp),%rdx
xor    %eax,%eax
call   1050 <sscanf@plt>
mov    0xc(%rsp),%eax
test   %eax,%eax
jle    1272 <unexpand_Full+0x132>
movslq %ebp,%rcx
add    0x10(%rsp),%rcx
xor    %edx,%edx
nopl   (%rax)
movb   $0x29,(%rcx,%rdx,1)
mov    0xc(%rsp),%eax
add    $0x1,%rdx
cmp    %eax,%edx
jl     1260 <unexpand_Full+0x120>
add    %edx,%ebp
movslq %r13d,%rcx
mov    %ax,(%r12,%rcx,2)
mov    $0x9,%eax
jmp    11c0 <unexpand_Full+0x80>
movl   $0x1,0xc(%rsp)
cltq
lea    (%rsp,%rax,1),%rdi
add    $0x1e,%rdi
lea    0xe1b(%rip),%rsi
lea    0xc(%rsp),%rdx
xor    %eax,%eax
call   1050 <sscanf@plt>
mov    $0x9,%eax
cmpl   $0x0,0xc(%rsp)
jle    11c0 <unexpand_Full+0x80>
movslq %ebp,%rcx
add    0x10(%rsp),%rcx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movb   $0x2e,(%rcx,%rdx,1)
add    $0x1,%rdx
cmp    0xc(%rsp),%edx
jl     12d0 <unexpand_Full+0x190>
add    %edx,%ebp
jmp    11c0 <unexpand_Full+0x80>
movslq %ebp,%r13
mov    0x10(%rsp),%r14
movb   $0x0,(%r14,%r13,1)
lea    0x1(%r13),%eax
movslq %eax,%rdi
xor    %eax,%eax
call   1060 <vrna_alloc@plt>
movslq %eax,%r15
test   %r13d,%r13d
jle    1386 <unexpand_Full+0x246>
mov    %rbp,%r8
mov    %r8d,%eax
cmp    $0x8,%r8d
jae    13ad <unexpand_Full+0x26d>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
test   $0x1,%al
je     133a <unexpand_Full+0x1fa>
mov    %ecx,%esi
not    %esi
add    %r8d,%esi
movslq %esi,%rsi
mov    (%r14,%rsi,1),%bl
mov    %bl,(%r15,%rcx,1)
or     $0x1,%rcx
add    %rax,%rdx
je     1386 <unexpand_Full+0x246>
sub    %rcx,%rax
mov    %ecx,%edx
not    %edx
add    %r8d,%edx
add    %r15,%rcx
add    $0x1,%rcx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %edx,%rdx
movzbl (%r14,%rdx,1),%ebx
mov    %bl,-0x1(%rcx,%rsi,1)
lea    -0x1(%rdx),%edi
movslq %edi,%rdi
movzbl (%r14,%rdi,1),%ebx
mov    %bl,(%rcx,%rsi,1)
add    $0x2,%rsi
add    $0xfffffffe,%edx
cmp    %rsi,%rax
jne    1360 <unexpand_Full+0x220>
movb   $0x0,(%r15,%r13,1)
mov    %r14,%rdi
call   1030 <free@plt>
mov    %r12,%rdi
call   1030 <free@plt>
mov    %r15,%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%rax),%rsi
lea    -0x1(%r8),%edx
mov    %edx,%edi
sub    %esi,%edi
xor    %ecx,%ecx
cmp    %edx,%edi
jg     131a <unexpand_Full+0x1da>
shr    $0x20,%rsi
jne    131a <unexpand_Full+0x1da>
lea    -0x1(%r8),%ecx
movslq %ecx,%rcx
lea    (%r14,%rcx,1),%rsi
add    $0x1,%rsi
cmp    %r15,%rsi
jbe    13f8 <unexpand_Full+0x2b8>
lea    (%r15,%rax,1),%rsi
add    $0x1,%rcx
sub    %rax,%rcx
add    %r14,%rcx
cmp    %rsi,%rcx
jb     1318 <unexpand_Full+0x1d8>
cmp    $0x20,%r8d
jae    1405 <unexpand_Full+0x2c5>
xor    %ecx,%ecx
jmp    14ab <unexpand_Full+0x36b>
mov    %eax,%ecx
and    $0xffffffe0,%ecx
xor    %esi,%esi
pxor   %xmm0,%xmm0
movslq %edx,%rdx
movdqu -0x1f(%r14,%rdx,1),%xmm1
movdqu -0xf(%r14,%rdx,1),%xmm2
movdqa %xmm2,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm2
pshufd $0x4e,%xmm2,%xmm2
pshuflw $0x1b,%xmm2,%xmm2
pshufhw $0x1b,%xmm2,%xmm2
packuswb %xmm3,%xmm2
movdqa %xmm1,%xmm3
punpcklbw %xmm0,%xmm3
pshufd $0x4e,%xmm3,%xmm3
pshuflw $0x1b,%xmm3,%xmm3
pshufhw $0x1b,%xmm3,%xmm3
punpckhbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm3,%xmm1
movdqu %xmm2,(%r15,%rsi,1)
movdqu %xmm1,0x10(%r15,%rsi,1)
add    $0x20,%rsi
add    $0xffffffe0,%edx
cmp    %rsi,%rcx
jne    1410 <unexpand_Full+0x2d0>
cmp    %rax,%rcx
je     1386 <unexpand_Full+0x246>
test   $0x18,%al
je     131a <unexpand_Full+0x1da>
mov    %rcx,%rdx
mov    %eax,%ecx
and    $0xfffffff8,%ecx
mov    %edx,%esi
not    %esi
add    %r8d,%esi
pxor   %xmm0,%xmm0
xchg   %ax,%ax
movslq %esi,%rsi
movq   -0x7(%r14,%rsi,1),%xmm1
punpcklbw %xmm0,%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshuflw $0x1b,%xmm1,%xmm1
pshufhw $0x1b,%xmm1,%xmm1
packuswb %xmm1,%xmm1
movq   %xmm1,(%r15,%rdx,1)
add    $0x8,%rdx
add    $0xfffffff8,%esi
cmp    %rdx,%rcx
jne    14c0 <unexpand_Full+0x380>
cmp    %rax,%rcx
je     1386 <unexpand_Full+0x246>
jmp    131a <unexpand_Full+0x1da>

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
define i8* @unexpand_Full(i8* %0) {
%2 = alloca i8*
%3 = alloca i16*
%4 = alloca [10 x i8]
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %2
%13 = load i8*, i8** %2
%14 = call i64 @strlen(i8* %13)
%15 = mul i64 4, %14
%16 = add i64 %15, 2
%17 = call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %16)
%18 = sext i32 %17 to i64
%19 = inttoptr i64 %18 to i8*
store i8* %19, i8** %6
%20 = load i8*, i8** %2
%21 = call i64 @strlen(i8* %20)
%22 = udiv i64 %21, 2
%23 = add i64 %22, 1
%24 = mul i64 2, %23
%25 = call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %24)
%26 = sext i32 %25 to i64
%27 = inttoptr i64 %26 to i16*
store i16* %27, i16** %3
%28 = load i8*, i8** %2
%29 = call i64 @strlen(i8* %28)
%30 = sub i64 %29, 1
%31 = trunc i64 %30 to i32
store i32 %31, i32* %7
store i32 0, i32* %11
store i32 0, i32* %10
store i32 9, i32* %9
%32 = getelementptr inbounds [10 x i8], [10 x i8]* %4, i64 0, i64 9
store i8 0, i8* %32
br label %33
33: ; preds = %128, %1
%34 = load i32, i32* %7
%35 = icmp sge i32 %34, 0
br i1 %35, label %36, label %131
36: ; preds = %33
%37 = load i8*, i8** %2
%38 = load i32, i32* %7
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
switch i32 %42, label %118 [
i32 40, label %43
i32 85, label %68
i32 80, label %88
i32 82, label %114
i32 41, label %115
]
43: ; preds = %36
store i32 0, i32* %8
br label %44
44: ; preds = %59, %43
%45 = load i32, i32* %8
%46 = load i16*, i16** %3
%47 = load i32, i32* %11
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i16, i16* %46, i64 %48
%50 = load i16, i16* %49
%51 = sext i16 %50 to i32
%52 = icmp slt i32 %45, %51
br i1 %52, label %53, label %62
53: ; preds = %44
%54 = load i8*, i8** %6
%55 = load i32, i32* %10
%56 = add nsw i32 %55, 1
store i32 %56, i32* %10
%57 = sext i32 %55 to i64
%58 = getelementptr inbounds i8, i8* %54, i64 %57
store i8 40, i8* %58
br label %59
59: ; preds = %53
%60 = load i32, i32* %8
%61 = add nsw i32 %60, 1
store i32 %61, i32* %8
br label %44
62: ; preds = %44
%63 = load i16*, i16** %3
%64 = load i32, i32* %11
%65 = add nsw i32 %64, -1
store i32 %65, i32* %11
%66 = sext i32 %64 to i64
%67 = getelementptr inbounds i16, i16* %63, i64 %66
store i16 0, i16* %67
br label %128
68: ; preds = %36
store i32 1, i32* %12
%69 = getelementptr inbounds [10 x i8], [10 x i8]* %4, i64 0, i64 0
%70 = load i32, i32* %9
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
%73 = call i32 (i8*, i8*, ...) @sscanf(i8* %72, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %12)
store i32 0, i32* %8
br label %74
74: ; preds = %84, %68
%75 = load i32, i32* %8
%76 = load i32, i32* %12
%77 = icmp slt i32 %75, %76
br i1 %77, label %78, label %87
78: ; preds = %74
%79 = load i8*, i8** %6
%80 = load i32, i32* %10
%81 = add nsw i32 %80, 1
store i32 %81, i32* %10
%82 = sext i32 %80 to i64
%83 = getelementptr inbounds i8, i8* %79, i64 %82
store i8 46, i8* %83
br label %84
84: ; preds = %78
%85 = load i32, i32* %8
%86 = add nsw i32 %85, 1
store i32 %86, i32* %8
br label %74
87: ; preds = %74
store i32 9, i32* %9
br label %128
88: ; preds = %36
store i32 1, i32* %12
%89 = getelementptr inbounds [10 x i8], [10 x i8]* %4, i64 0, i64 0
%90 = load i32, i32* %9
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i8, i8* %89, i64 %91
%93 = call i32 (i8*, i8*, ...) @sscanf(i8* %92, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %12)
store i32 0, i32* %8
br label %94
94: ; preds = %104, %88
%95 = load i32, i32* %8
%96 = load i32, i32* %12
%97 = icmp slt i32 %95, %96
br i1 %97, label %98, label %107
98: ; preds = %94
%99 = load i8*, i8** %6
%100 = load i32, i32* %10
%101 = add nsw i32 %100, 1
store i32 %101, i32* %10
%102 = sext i32 %100 to i64
%103 = getelementptr inbounds i8, i8* %99, i64 %102
store i8 41, i8* %103
br label %104
104: ; preds = %98
%105 = load i32, i32* %8
%106 = add nsw i32 %105, 1
store i32 %106, i32* %8
br label %94
107: ; preds = %94
%108 = load i32, i32* %12
%109 = trunc i32 %108 to i16
%110 = load i16*, i16** %3
%111 = load i32, i32* %11
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i16, i16* %110, i64 %112
store i16 %109, i16* %113
store i32 9, i32* %9
br label %128
114: ; preds = %36
br label %128
115: ; preds = %36
%116 = load i32, i32* %11
%117 = add nsw i32 %116, 1
store i32 %117, i32* %11
br label %128
118: ; preds = %36
%119 = load i8*, i8** %2
%120 = load i32, i32* %7
%121 = sext i32 %120 to i64
%122 = getelementptr inbounds i8, i8* %119, i64 %121
%123 = load i8, i8* %122
%124 = load i32, i32* %9
%125 = add nsw i32 %124, -1
store i32 %125, i32* %9
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds [10 x i8], [10 x i8]* %4, i64 0, i64 %126
store i8 %123, i8* %127
br label %128
128: ; preds = %118, %115, %114, %107, %87, %62
%129 = load i32, i32* %7
%130 = add nsw i32 %129, -1
store i32 %130, i32* %7
br label %33
131: ; preds = %33
%132 = load i8*, i8** %6
%133 = load i32, i32* %10
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %132, i64 %134
store i8 0, i8* %135
%136 = load i32, i32* %10
%137 = add nsw i32 %136, 1
%138 = sext i32 %137 to i64
%139 = mul i64 1, %138
%140 = call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %139)
%141 = sext i32 %140 to i64
%142 = inttoptr i64 %141 to i8*
store i8* %142, i8** %5
store i32 0, i32* %7
br label %143
143: ; preds = %160, %131
%144 = load i32, i32* %7
%145 = load i32, i32* %10
%146 = icmp slt i32 %144, %145
br i1 %146, label %147, label %163
147: ; preds = %143
%148 = load i8*, i8** %6
%149 = load i32, i32* %10
%150 = load i32, i32* %7
%151 = sub nsw i32 %149, %150
%152 = sub nsw i32 %151, 1
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i8, i8* %148, i64 %153
%155 = load i8, i8* %154
%156 = load i8*, i8** %5
%157 = load i32, i32* %7
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds i8, i8* %156, i64 %158
store i8 %155, i8* %159
br label %160
160: ; preds = %147
%161 = load i32, i32* %7
%162 = add nsw i32 %161, 1
store i32 %162, i32* %7
br label %143
163: ; preds = %143
%164 = load i8*, i8** %5
%165 = load i32, i32* %10
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i8, i8* %164, i64 %166
store i8 0, i8* %167
%168 = load i8*, i8** %6
%169 = load i16*, i16** %3
%170 = bitcast i16* %169 to i8*
%171 = load i8*, i8** %5
ret i8* %171
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
define i8* @unexpand_Full(i8* nocapture %0) {
%2 = alloca [10 x i8]
%3 = alloca i32
%4 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 0
%5 = bitcast i32* %3 to i8*
%6 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%7 = shl i64 %6, 2
%8 = or i64 %7, 2
%9 = tail call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %8)
%10 = sext i32 %9 to i64
%11 = inttoptr i64 %10 to i8*
%12 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%13 = add i64 %12, 2
%14 = and i64 %13, -2
%15 = tail call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %14)
%16 = sext i32 %15 to i64
%17 = inttoptr i64 %16 to i16*
%18 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%19 = trunc i64 %18 to i32
%20 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 9
store i8 0, i8* %20
%21 = add i32 %19, -1
%22 = icmp sgt i32 %21, -1
br i1 %22, label %23, label %107
23: ; preds = %1, %101
%24 = phi i32 [ %105, %101 ], [ %21, %1 ]
%25 = phi i32 [ %104, %101 ], [ 0, %1 ]
%26 = phi i32 [ %103, %101 ], [ 0, %1 ]
%27 = phi i32 [ %102, %101 ], [ 9, %1 ]
%28 = zext i32 %24 to i64
%29 = getelementptr inbounds i8, i8* %0, i64 %28
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
switch i32 %31, label %95 [
i32 40, label %32
i32 85, label %53
i32 80, label %69
i32 82, label %101
i32 41, label %93
]
32: ; preds = %23
%33 = sext i32 %25 to i64
%34 = getelementptr inbounds i16, i16* %17, i64 %33
%35 = load i16, i16* %34
%36 = icmp sgt i16 %35, 0
br i1 %36, label %37, label %50
37: ; preds = %32
%38 = sext i32 %26 to i64
br label %39
39: ; preds = %37, %39
%40 = phi i64 [ %38, %37 ], [ %42, %39 ]
%41 = phi i32 [ 0, %37 ], [ %44, %39 ]
%42 = add nsw i64 %40, 1
%43 = getelementptr inbounds i8, i8* %11, i64 %40
store i8 40, i8* %43
%44 = add nuw nsw i32 %41, 1
%45 = load i16, i16* %34
%46 = sext i16 %45 to i32
%47 = icmp slt i32 %44, %46
br i1 %47, label %39, label %48
48: ; preds = %39
%49 = trunc i64 %42 to i32
br label %50
50: ; preds = %48, %32
%51 = phi i32 [ %26, %32 ], [ %49, %48 ]
%52 = add nsw i32 %25, -1
store i16 0, i16* %34
br label %101
53: ; preds = %23
store i32 1, i32* %3
%54 = sext i32 %27 to i64
%55 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 %54
%56 = call i32 (i8*, i8*, ...) @sscanf(i8* %55, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %3)
%57 = load i32, i32* %3
%58 = icmp sgt i32 %57, 0
br i1 %58, label %59, label %101
59: ; preds = %53
%60 = sext i32 %26 to i64
br label %61
61: ; preds = %59, %61
%62 = phi i64 [ %60, %59 ], [ %64, %61 ]
%63 = phi i32 [ 0, %59 ], [ %66, %61 ]
%64 = add nsw i64 %62, 1
%65 = getelementptr inbounds i8, i8* %11, i64 %62
store i8 46, i8* %65
%66 = add nuw nsw i32 %63, 1
%67 = load i32, i32* %3
%68 = icmp slt i32 %66, %67
br i1 %68, label %61, label %99
69: ; preds = %23
store i32 1, i32* %3
%70 = sext i32 %27 to i64
%71 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 %70
%72 = call i32 (i8*, i8*, ...) @sscanf(i8* %71, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %3)
%73 = load i32, i32* %3
%74 = icmp sgt i32 %73, 0
br i1 %74, label %75, label %87
75: ; preds = %69
%76 = sext i32 %26 to i64
br label %77
77: ; preds = %75, %77
%78 = phi i64 [ %76, %75 ], [ %80, %77 ]
%79 = phi i32 [ 0, %75 ], [ %82, %77 ]
%80 = add nsw i64 %78, 1
%81 = getelementptr inbounds i8, i8* %11, i64 %78
store i8 41, i8* %81
%82 = add nuw nsw i32 %79, 1
%83 = load i32, i32* %3
%84 = icmp slt i32 %82, %83
br i1 %84, label %77, label %85
85: ; preds = %77
%86 = trunc i64 %80 to i32
br label %87
87: ; preds = %85, %69
%88 = phi i32 [ %26, %69 ], [ %86, %85 ]
%89 = phi i32 [ %73, %69 ], [ %83, %85 ]
%90 = trunc i32 %89 to i16
%91 = sext i32 %25 to i64
%92 = getelementptr inbounds i16, i16* %17, i64 %91
store i16 %90, i16* %92
br label %101
93: ; preds = %23
%94 = add nsw i32 %25, 1
br label %101
95: ; preds = %23
%96 = add nsw i32 %27, -1
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds [10 x i8], [10 x i8]* %2, i64 0, i64 %97
store i8 %30, i8* %98
br label %101
99: ; preds = %61
%100 = trunc i64 %64 to i32
br label %101
101: ; preds = %99, %53, %95, %93, %23, %87, %50
%102 = phi i32 [ %96, %95 ], [ %27, %93 ], [ %27, %23 ], [ 9, %87 ], [ %27, %50 ], [ 9, %53 ], [ 9, %99 ]
%103 = phi i32 [ %26, %95 ], [ %26, %93 ], [ %26, %23 ], [ %88, %87 ], [ %51, %50 ], [ %26, %53 ], [ %100, %99 ]
%104 = phi i32 [ %25, %95 ], [ %94, %93 ], [ %25, %23 ], [ %25, %87 ], [ %52, %50 ], [ %25, %53 ], [ %25, %99 ]
%105 = add i32 %24, -1
%106 = icmp sgt i32 %105, -1
br i1 %106, label %23, label %107
107: ; preds = %101, %1
%108 = phi i32 [ 0, %1 ], [ %103, %101 ]
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %11, i64 %109
store i8 0, i8* %110
%111 = add nsw i32 %108, 1
%112 = sext i32 %111 to i64
%113 = call i32 (i64, ...) bitcast (i32 (...)* @vrna_alloc to i32 (i64, ...)*)(i64 %112)
%114 = sext i32 %113 to i64
%115 = inttoptr i64 %114 to i8*
%116 = icmp sgt i32 %108, 0
br i1 %116, label %117, label %228
117: ; preds = %107
%118 = zext i32 %108 to i64
%119 = icmp ult i32 %108, 8
br i1 %119, label %191, label %120
120: ; preds = %117
%121 = add nsw i64 %118, -1
%122 = add i32 %108, -1
%123 = trunc i64 %121 to i32
%124 = sub i32 %122, %123
%125 = icmp sgt i32 %124, %122
%126 = icmp ugt i64 %121, 4294967295
%127 = or i1 %125, %126
br i1 %127, label %191, label %128
128: ; preds = %120
%129 = getelementptr i8, i8* %115, i64 %118
%130 = add i32 %108, -1
%131 = sext i32 %130 to i64
%132 = add nsw i64 %131, 1
%133 = sub nsw i64 %132, %118
%134 = getelementptr i8, i8* %11, i64 %133
%135 = add nsw i64 %131, 1
%136 = getelementptr i8, i8* %11, i64 %135
%137 = icmp ugt i8* %136, %115
%138 = icmp ult i8* %134, %129
%139 = and i1 %137, %138
br i1 %139, label %191, label %140
140: ; preds = %128
%141 = icmp ult i32 %108, 32
br i1 %141, label %171, label %142
142: ; preds = %140
%143 = and i64 %118, 4294967264
br label %144
144: ; preds = %144, %142
%145 = phi i64 [ 0, %142 ], [ %164, %144 ]
%146 = trunc i64 %145 to i32
%147 = xor i32 %146, -1
%148 = add i32 %108, %147
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i8, i8* %11, i64 %149
%151 = getelementptr inbounds i8, i8* %150, i64 -15
%152 = bitcast i8* %151 to <16 x i8>*
%153 = load <16 x i8>, <16 x i8>* %152
%154 = shufflevector <16 x i8> %153, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%155 = getelementptr inbounds i8, i8* %150, i64 -16
%156 = getelementptr inbounds i8, i8* %155, i64 -15
%157 = bitcast i8* %156 to <16 x i8>*
%158 = load <16 x i8>, <16 x i8>* %157
%159 = shufflevector <16 x i8> %158, <16 x i8> poison, <16 x i32> <i32 15, i32 14, i32 13, i32 12, i32 11, i32 10, i32 9, i32 8, i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%160 = getelementptr inbounds i8, i8* %115, i64 %145
%161 = bitcast i8* %160 to <16 x i8>*
store <16 x i8> %154, <16 x i8>* %161
%162 = getelementptr inbounds i8, i8* %160, i64 16
%163 = bitcast i8* %162 to <16 x i8>*
store <16 x i8> %159, <16 x i8>* %163
%164 = add nuw i64 %145, 32
%165 = icmp eq i64 %164, %143
br i1 %165, label %166, label %144
166: ; preds = %144
%167 = icmp eq i64 %143, %118
br i1 %167, label %228, label %168
168: ; preds = %166
%169 = and i64 %118, 24
%170 = icmp eq i64 %169, 0
br i1 %170, label %191, label %171
171: ; preds = %140, %168
%172 = phi i64 [ %143, %168 ], [ 0, %140 ]
%173 = and i64 %118, 4294967288
%174 = getelementptr inbounds i8, i8* %11, i64 -7
br label %175
175: ; preds = %175, %171
%176 = phi i64 [ %172, %171 ], [ %187, %175 ]
%177 = trunc i64 %176 to i32
%178 = xor i32 %177, -1
%179 = add i32 %108, %178
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i8, i8* %174, i64 %180
%182 = bitcast i8* %181 to <8 x i8>*
%183 = load <8 x i8>, <8 x i8>* %182
%184 = shufflevector <8 x i8> %183, <8 x i8> poison, <8 x i32> <i32 7, i32 6, i32 5, i32 4, i32 3, i32 2, i32 1, i32 0>
%185 = getelementptr inbounds i8, i8* %115, i64 %176
%186 = bitcast i8* %185 to <8 x i8>*
store <8 x i8> %184, <8 x i8>* %186
%187 = add nuw i64 %176, 8
%188 = icmp eq i64 %187, %173
br i1 %188, label %189, label %175
189: ; preds = %175
%190 = icmp eq i64 %173, %118
br i1 %190, label %228, label %191
191: ; preds = %128, %120, %117, %168, %189
%192 = phi i64 [ 0, %117 ], [ 0, %128 ], [ 0, %120 ], [ %143, %168 ], [ %173, %189 ]
%193 = xor i64 %192, -1
%194 = and i64 %118, 1
%195 = icmp eq i64 %194, 0
br i1 %195, label %205, label %196
196: ; preds = %191
%197 = trunc i64 %192 to i32
%198 = xor i32 %197, -1
%199 = add i32 %108, %198
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i8, i8* %11, i64 %200
%202 = load i8, i8* %201
%203 = getelementptr inbounds i8, i8* %115, i64 %192
store i8 %202, i8* %203
%204 = or i64 %192, 1
br label %205
205: ; preds = %196, %191
%206 = phi i64 [ %192, %191 ], [ %204, %196 ]
%207 = sub nsw i64 0, %118
%208 = icmp eq i64 %193, %207
br i1 %208, label %228, label %209
209: ; preds = %205, %209
%210 = phi i64 [ %226, %209 ], [ %206, %205 ]
%211 = trunc i64 %210 to i32
%212 = xor i32 %211, -1
%213 = add i32 %108, %212
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds i8, i8* %11, i64 %214
%216 = load i8, i8* %215
%217 = getelementptr inbounds i8, i8* %115, i64 %210
store i8 %216, i8* %217
%218 = add nuw nsw i64 %210, 1
%219 = trunc i64 %218 to i32
%220 = xor i32 %219, -1
%221 = add i32 %108, %220
%222 = sext i32 %221 to i64
%223 = getelementptr inbounds i8, i8* %11, i64 %222
%224 = load i8, i8* %223
%225 = getelementptr inbounds i8, i8* %115, i64 %218
store i8 %224, i8* %225
%226 = add nuw nsw i64 %210, 2
%227 = icmp eq i64 %226, %118
br i1 %227, label %228, label %209
228: ; preds = %205, %209, %166, %189, %107
%229 = getelementptr inbounds i8, i8* %115, i64 %109
store i8 0, i8* %229
%230 = inttoptr i64 %16 to i8*
ret i8* %115
}