#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 */
char *UTIL_mallocStr(scalar_t__);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
scalar_t__ strlen(char *);
char *C_mkFixedBegC() {
  char *text = UTIL_mallocStr(
      strlen("/****************************************************************"
             "***********/ \n/* File pervasives.c.                             "
             "                         */  "
             "\n/"
             "*****************************************************************"
             "**********/\n\n") +
      strlen("#ifndef PERVASIVES_C\n#define PERVASIVES_C\n\n") +
      strlen("#include <string.h>                                              "
             "             \n#include \"pervasives.h\"                         "
             "                             \n#include \"../system/error.h\"    "
             " //to be changed                             \n#include "
             "\"../system/operators.h\" //to be changed                        "
             "   \n\n"));
  strcpy(text, "/**************************************************************"
               "*************/ \n/* File pervasives.c.                         "
               "                             */  "
               "\n/"
               "***************************************************************"
               "************/\n\n");
  strcat(text, "#ifndef PERVASIVES_C\n#define PERVASIVES_C\n\n");
  strcat(
      text,
      "#include <string.h>                                                     "
      "      \n#include \"pervasives.h\"                                       "
      "               \n#include \"../system/error.h\"     //to be changed     "
      "                        \n#include \"../system/operators.h\" //to be "
      "changed                           \n\n");
  return text;
}


x86 assembly (clang, -O0):
<C_mkFixedBegC>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
lea    0xeb1(%rip),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x18(%rbp)
lea    0xf90(%rip),%rdi
call   1040 <strlen@plt>
mov    %rax,%rcx
mov    -0x18(%rbp),%rax
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
lea    0xfa2(%rip),%rdi
call   1040 <strlen@plt>
mov    -0x10(%rbp),%rdi
add    %rax,%rdi
call   1050 <UTIL_mallocStr@plt>
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe67(%rip),%rsi
call   1030 <strcpy@plt>
mov    -0x8(%rbp),%rdi
lea    0xf46(%rip),%rsi
call   1060 <strcat@plt>
mov    -0x8(%rbp),%rdi
lea    0xf62(%rip),%rsi
call   1060 <strcat@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<C_mkFixedBegC>:
push   %rbx
mov    $0x251,%edi
call   1040 <UTIL_mallocStr@plt>
mov    %rax,%rbx
lea    0xebb(%rip),%rsi
mov    %rax,%rdi
call   1030 <strcpy@plt>
lea    0xf9b(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strcat@plt>
lea    0xfb8(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strcat@plt>
mov    %rbx,%rax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [239 x i8] c"/***************************************************************************/ \0A/* File pervasives.c. */ \0A/***************************************************************************/\0A\0A\00"
@.str.1 = [44 x i8] c"#ifndef PERVASIVES_C\0A#define PERVASIVES_C\0A\0A\00"
@.str.2 = [313 x i8] c"#include <string.h> \0A#include \22pervasives.h\22 \0A#include \22../system/error.h\22 //to be changed \0A#include \22../system/operators.h\22 //to be changed \0A\0A\00"
define i8* @C_mkFixedBegC() {
%1 = alloca i8*
%2 = call i64 @strlen(i8* getelementptr inbounds ([239 x i8], [239 x i8]* @.str, i64 0, i64 0))
%3 = call i64 @strlen(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%4 = add nsw i64 %2, %3
%5 = call i64 @strlen(i8* getelementptr inbounds ([313 x i8], [313 x i8]* @.str.2, i64 0, i64 0))
%6 = add nsw i64 %4, %5
%7 = call i8* @UTIL_mallocStr(i64 %6)
store i8* %7, i8** %1
%8 = load i8*, i8** %1
%9 = call i32 @strcpy(i8* %8, i8* getelementptr inbounds ([239 x i8], [239 x i8]* @.str, i64 0, i64 0))
%10 = load i8*, i8** %1
%11 = call i32 @strcat(i8* %10, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%12 = load i8*, i8** %1
%13 = call i32 @strcat(i8* %12, i8* getelementptr inbounds ([313 x i8], [313 x i8]* @.str.2, i64 0, i64 0))
%14 = load i8*, i8** %1
ret i8* %14
}

LLVM IR (-O2):
@.str = [239 x i8] c"/***************************************************************************/ \0A/* File pervasives.c. */ \0A/***************************************************************************/\0A\0A\00"
@.str.1 = [44 x i8] c"#ifndef PERVASIVES_C\0A#define PERVASIVES_C\0A\0A\00"
@.str.2 = [313 x i8] c"#include <string.h> \0A#include \22pervasives.h\22 \0A#include \22../system/error.h\22 //to be changed \0A#include \22../system/operators.h\22 //to be changed \0A\0A\00"
define i8* @C_mkFixedBegC() {
%1 = tail call i8* @UTIL_mallocStr(i64 593)
%2 = tail call i32 @strcpy(i8* %1, i8* getelementptr inbounds ([239 x i8], [239 x i8]* @.str, i64 0, i64 0))
%3 = tail call i32 @strcat(i8* %1, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
%4 = tail call i32 @strcat(i8* %1, i8* getelementptr inbounds ([313 x i8], [313 x i8]* @.str.2, i64 0, i64 0))
ret i8* %1
}