#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 O_APPEND;
int O_CREAT;
int O_EXCL;
int O_RDONLY;
int O_RDWR;
int O_TRUNC;
int O_WRONLY;
int S_IEXEC;
int S_IFBLK;
int S_IFCHR;
int S_IFDIR;
int S_IFIFO;
int S_IFLNK;
int S_IFMT;
int S_IFREG;
int S_IREAD;
int S_IRUSR;
int S_IRWXU;
int S_IWRITE;
int S_IWUSR;
int S_IXUSR;
int /*<<< orphan*/ printf(char *, ...);
void posix88_consts() {
  printf("    mod posix88 {\n");
  printf("        const %s : %s = %d%s;\n", "O_RDONLY",
         ((((int)-1) < 0) ? "int" : "uint"), O_RDONLY,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_WRONLY",
         ((((int)-1) < 0) ? "int" : "uint"), O_WRONLY,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_RDWR",
         ((((int)-1) < 0) ? "int" : "uint"), O_RDWR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_APPEND",
         ((((int)-1) < 0) ? "int" : "uint"), O_APPEND,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_CREAT",
         ((((int)-1) < 0) ? "int" : "uint"), O_CREAT,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_EXCL",
         ((((int)-1) < 0) ? "int" : "uint"), O_EXCL,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "O_TRUNC",
         ((((int)-1) < 0) ? "int" : "uint"), O_TRUNC,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFIFO",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFIFO,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFCHR",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFCHR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFBLK",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFBLK,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFDIR",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFDIR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFREG",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFREG,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFLNK",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFLNK,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IFMT",
         ((((int)-1) < 0) ? "int" : "uint"), S_IFMT,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IEXEC",
         ((((int)-1) < 0) ? "int" : "uint"), S_IEXEC,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IWRITE",
         ((((int)-1) < 0) ? "int" : "uint"), S_IWRITE,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IREAD",
         ((((int)-1) < 0) ? "int" : "uint"), S_IREAD,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IRWXU",
         ((((int)-1) < 0) ? "int" : "uint"), S_IRWXU,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IXUSR",
         ((((int)-1) < 0) ? "int" : "uint"), S_IXUSR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IWUSR",
         ((((int)-1) < 0) ? "int" : "uint"), S_IWUSR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("        const %s : %s = %d%s;\n", "S_IRUSR",
         ((((int)-1) < 0) ? "int" : "uint"), S_IRUSR,
         ((((int)-1) < 0) ? "" : "_u"));
  printf("    }\n");
}


x86 assembly (clang, -O0):
<posix88_consts>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e97(%rip),%rax
mov    (%rax),%ecx
lea    0xee1(%rip),%rdi
lea    0xef9(%rip),%rsi
lea    0xefb(%rip),%rdx
lea    0xeea(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2df3(%rip),%rax
mov    (%rax),%ecx
lea    0xeb5(%rip),%rdi
lea    0xeda(%rip),%rsi
lea    0xecf(%rip),%rdx
lea    0xebe(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e4f(%rip),%rax
mov    (%rax),%ecx
lea    0xe89(%rip),%rdi
lea    0xeb7(%rip),%rsi
lea    0xea3(%rip),%rdx
lea    0xe92(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d93(%rip),%rax
mov    (%rax),%ecx
lea    0xe5d(%rip),%rdi
lea    0xe92(%rip),%rsi
lea    0xe77(%rip),%rdx
lea    0xe66(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2e1f(%rip),%rax
mov    (%rax),%ecx
lea    0xe31(%rip),%rdi
lea    0xe6f(%rip),%rsi
lea    0xe4b(%rip),%rdx
lea    0xe3a(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2d7b(%rip),%rax
mov    (%rax),%ecx
lea    0xe05(%rip),%rdi
lea    0xe4b(%rip),%rsi
lea    0xe1f(%rip),%rdx
lea    0xe0e(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2dbf(%rip),%rax
mov    (%rax),%ecx
lea    0xdd9(%rip),%rdi
lea    0xe26(%rip),%rsi
lea    0xdf3(%rip),%rdx
lea    0xde2(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cfb(%rip),%rax
mov    (%rax),%ecx
lea    0xdad(%rip),%rdi
lea    0xe02(%rip),%rsi
lea    0xdc7(%rip),%rdx
lea    0xdb6(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cef(%rip),%rax
mov    (%rax),%ecx
lea    0xd81(%rip),%rdi
lea    0xdde(%rip),%rsi
lea    0xd9b(%rip),%rdx
lea    0xd8a(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cd3(%rip),%rax
mov    (%rax),%ecx
lea    0xd55(%rip),%rdi
lea    0xdba(%rip),%rsi
lea    0xd6f(%rip),%rdx
lea    0xd5e(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c57(%rip),%rax
mov    (%rax),%ecx
lea    0xd29(%rip),%rdi
lea    0xd96(%rip),%rsi
lea    0xd43(%rip),%rdx
lea    0xd32(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2cab(%rip),%rax
mov    (%rax),%ecx
lea    0xcfd(%rip),%rdi
lea    0xd72(%rip),%rsi
lea    0xd17(%rip),%rdx
lea    0xd06(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c77(%rip),%rax
mov    (%rax),%ecx
lea    0xcd1(%rip),%rdi
lea    0xd4e(%rip),%rsi
lea    0xceb(%rip),%rdx
lea    0xcda(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2c2b(%rip),%rax
mov    (%rax),%ecx
lea    0xca5(%rip),%rdi
lea    0xd2a(%rip),%rsi
lea    0xcbf(%rip),%rdx
lea    0xcae(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2bdf(%rip),%rax
mov    (%rax),%ecx
lea    0xc79(%rip),%rdi
lea    0xd05(%rip),%rsi
lea    0xc93(%rip),%rdx
lea    0xc82(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2beb(%rip),%rax
mov    (%rax),%ecx
lea    0xc4d(%rip),%rdi
lea    0xce1(%rip),%rsi
lea    0xc67(%rip),%rdx
lea    0xc56(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b77(%rip),%rax
mov    (%rax),%ecx
lea    0xc21(%rip),%rdi
lea    0xcbe(%rip),%rsi
lea    0xc3b(%rip),%rdx
lea    0xc2a(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2bc3(%rip),%rax
mov    (%rax),%ecx
lea    0xbf5(%rip),%rdi
lea    0xc9a(%rip),%rsi
lea    0xc0f(%rip),%rdx
lea    0xbfe(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b87(%rip),%rax
mov    (%rax),%ecx
lea    0xbc9(%rip),%rdi
lea    0xc76(%rip),%rsi
lea    0xbe3(%rip),%rdx
lea    0xbd2(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2b33(%rip),%rax
mov    (%rax),%ecx
lea    0xb9d(%rip),%rdi
lea    0xc52(%rip),%rsi
lea    0xbb7(%rip),%rdx
lea    0xba6(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
mov    0x2acf(%rip),%rax
mov    (%rax),%ecx
lea    0xb71(%rip),%rdi
lea    0xc2e(%rip),%rsi
lea    0xb8b(%rip),%rdx
lea    0xb7a(%rip),%r8
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xc1a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<posix88_consts>:
push   %r15
push   %r14
push   %rbx
lea    0xfa0(%rip),%rdi
call   1030 <puts@plt>
mov    0x2e88(%rip),%rax
mov    (%rax),%ecx
lea    0xebf(%rip),%rbx
lea    0xed7(%rip),%rsi
lea    0xed9(%rip),%r15
lea    0xec8(%rip),%r14
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2ddb(%rip),%rax
mov    (%rax),%ecx
lea    0xeb6(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e43(%rip),%rax
mov    (%rax),%ecx
lea    0xe9f(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d93(%rip),%rax
mov    (%rax),%ecx
lea    0xe86(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2e2b(%rip),%rax
mov    (%rax),%ecx
lea    0xe6f(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d93(%rip),%rax
mov    (%rax),%ecx
lea    0xe57(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2de3(%rip),%rax
mov    (%rax),%ecx
lea    0xe3e(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d2b(%rip),%rax
mov    (%rax),%ecx
lea    0xe26(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d2b(%rip),%rax
mov    (%rax),%ecx
lea    0xe0e(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d1b(%rip),%rax
mov    (%rax),%ecx
lea    0xdf6(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2cab(%rip),%rax
mov    (%rax),%ecx
lea    0xdde(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2d0b(%rip),%rax
mov    (%rax),%ecx
lea    0xdc6(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2ce3(%rip),%rax
mov    (%rax),%ecx
lea    0xdae(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2ca3(%rip),%rax
mov    (%rax),%ecx
lea    0xd96(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c63(%rip),%rax
mov    (%rax),%ecx
lea    0xd7d(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c7b(%rip),%rax
mov    (%rax),%ecx
lea    0xd65(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c13(%rip),%rax
mov    (%rax),%ecx
lea    0xd4e(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c6b(%rip),%rax
mov    (%rax),%ecx
lea    0xd36(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2c3b(%rip),%rax
mov    (%rax),%ecx
lea    0xd1e(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2bf3(%rip),%rax
mov    (%rax),%ecx
lea    0xd06(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x2b9b(%rip),%rax
mov    (%rax),%ecx
lea    0xcee(%rip),%rsi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    %r14,%r8
xor    %eax,%eax
call   1040 <printf@plt>
lea    0xcf1(%rip),%rdi
pop    %rbx
pop    %r14
pop    %r15
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [19 x i8] c" mod posix88 {\0A\00"
@.str.1 = [31 x i8] c" const %s : %s = %d%s;\0A\00"
@.str.2 = [9 x i8] c"O_RDONLY\00"
@.str.3 = [4 x i8] c"int\00"
@O_RDONLY = global i32 0
@.str.4 = [1 x i8] zeroinitializer
@.str.5 = [9 x i8] c"O_WRONLY\00"
@O_WRONLY = global i32 0
@.str.6 = [7 x i8] c"O_RDWR\00"
@O_RDWR = global i32 0
@.str.7 = [9 x i8] c"O_APPEND\00"
@O_APPEND = global i32 0
@.str.8 = [8 x i8] c"O_CREAT\00"
@O_CREAT = global i32 0
@.str.9 = [7 x i8] c"O_EXCL\00"
@O_EXCL = global i32 0
@.str.10 = [8 x i8] c"O_TRUNC\00"
@O_TRUNC = global i32 0
@.str.11 = [8 x i8] c"S_IFIFO\00"
@S_IFIFO = global i32 0
@.str.12 = [8 x i8] c"S_IFCHR\00"
@S_IFCHR = global i32 0
@.str.13 = [8 x i8] c"S_IFBLK\00"
@S_IFBLK = global i32 0
@.str.14 = [8 x i8] c"S_IFDIR\00"
@S_IFDIR = global i32 0
@.str.15 = [8 x i8] c"S_IFREG\00"
@S_IFREG = global i32 0
@.str.16 = [8 x i8] c"S_IFLNK\00"
@S_IFLNK = global i32 0
@.str.17 = [7 x i8] c"S_IFMT\00"
@S_IFMT = global i32 0
@.str.18 = [8 x i8] c"S_IEXEC\00"
@S_IEXEC = global i32 0
@.str.19 = [9 x i8] c"S_IWRITE\00"
@S_IWRITE = global i32 0
@.str.20 = [8 x i8] c"S_IREAD\00"
@S_IREAD = global i32 0
@.str.21 = [8 x i8] c"S_IRWXU\00"
@S_IRWXU = global i32 0
@.str.22 = [8 x i8] c"S_IXUSR\00"
@S_IXUSR = global i32 0
@.str.23 = [8 x i8] c"S_IWUSR\00"
@S_IWUSR = global i32 0
@.str.24 = [8 x i8] c"S_IRUSR\00"
@S_IRUSR = global i32 0
@.str.25 = [7 x i8] c" }\0A\00"
define void @posix88_consts() {
%1 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
%2 = load i32, i32* @O_RDONLY
%3 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %2, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%4 = load i32, i32* @O_WRONLY
%5 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %4, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%6 = load i32, i32* @O_RDWR
%7 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %6, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%8 = load i32, i32* @O_APPEND
%9 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %8, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%10 = load i32, i32* @O_CREAT
%11 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %10, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%12 = load i32, i32* @O_EXCL
%13 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %12, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%14 = load i32, i32* @O_TRUNC
%15 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %14, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%16 = load i32, i32* @S_IFIFO
%17 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %16, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%18 = load i32, i32* @S_IFCHR
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %18, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%20 = load i32, i32* @S_IFBLK
%21 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %20, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%22 = load i32, i32* @S_IFDIR
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %22, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%24 = load i32, i32* @S_IFREG
%25 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.15, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %24, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%26 = load i32, i32* @S_IFLNK
%27 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %26, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%28 = load i32, i32* @S_IFMT
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %28, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%30 = load i32, i32* @S_IEXEC
%31 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %30, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%32 = load i32, i32* @S_IWRITE
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %32, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%34 = load i32, i32* @S_IREAD
%35 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %34, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%36 = load i32, i32* @S_IRWXU
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.21, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %36, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%38 = load i32, i32* @S_IXUSR
%39 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %38, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%40 = load i32, i32* @S_IWUSR
%41 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %40, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%42 = load i32, i32* @S_IRUSR
%43 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %42, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%44 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.25, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str.1 = [31 x i8] c" const %s : %s = %d%s;\0A\00"
@.str.2 = [9 x i8] c"O_RDONLY\00"
@.str.3 = [4 x i8] c"int\00"
@O_RDONLY = global i32 0
@.str.4 = [1 x i8] zeroinitializer
@.str.5 = [9 x i8] c"O_WRONLY\00"
@O_WRONLY = global i32 0
@.str.6 = [7 x i8] c"O_RDWR\00"
@O_RDWR = global i32 0
@.str.7 = [9 x i8] c"O_APPEND\00"
@O_APPEND = global i32 0
@.str.8 = [8 x i8] c"O_CREAT\00"
@O_CREAT = global i32 0
@.str.9 = [7 x i8] c"O_EXCL\00"
@O_EXCL = global i32 0
@.str.10 = [8 x i8] c"O_TRUNC\00"
@O_TRUNC = global i32 0
@.str.11 = [8 x i8] c"S_IFIFO\00"
@S_IFIFO = global i32 0
@.str.12 = [8 x i8] c"S_IFCHR\00"
@S_IFCHR = global i32 0
@.str.13 = [8 x i8] c"S_IFBLK\00"
@S_IFBLK = global i32 0
@.str.14 = [8 x i8] c"S_IFDIR\00"
@S_IFDIR = global i32 0
@.str.15 = [8 x i8] c"S_IFREG\00"
@S_IFREG = global i32 0
@.str.16 = [8 x i8] c"S_IFLNK\00"
@S_IFLNK = global i32 0
@.str.17 = [7 x i8] c"S_IFMT\00"
@S_IFMT = global i32 0
@.str.18 = [8 x i8] c"S_IEXEC\00"
@S_IEXEC = global i32 0
@.str.19 = [9 x i8] c"S_IWRITE\00"
@S_IWRITE = global i32 0
@.str.20 = [8 x i8] c"S_IREAD\00"
@S_IREAD = global i32 0
@.str.21 = [8 x i8] c"S_IRWXU\00"
@S_IRWXU = global i32 0
@.str.22 = [8 x i8] c"S_IXUSR\00"
@S_IXUSR = global i32 0
@.str.23 = [8 x i8] c"S_IWUSR\00"
@S_IWUSR = global i32 0
@.str.24 = [8 x i8] c"S_IRUSR\00"
@S_IRUSR = global i32 0
@str = [18 x i8] c" mod posix88 {\00"
@str.26 = [6 x i8] c" }\00"
define void @posix88_consts() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @str, i64 0, i64 0))
%2 = load i32, i32* @O_RDONLY
%3 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %2, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%4 = load i32, i32* @O_WRONLY
%5 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %4, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%6 = load i32, i32* @O_RDWR
%7 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %6, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%8 = load i32, i32* @O_APPEND
%9 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %8, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%10 = load i32, i32* @O_CREAT
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %10, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%12 = load i32, i32* @O_EXCL
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %12, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%14 = load i32, i32* @O_TRUNC
%15 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %14, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%16 = load i32, i32* @S_IFIFO
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %16, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%18 = load i32, i32* @S_IFCHR
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %18, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%20 = load i32, i32* @S_IFBLK
%21 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %20, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%22 = load i32, i32* @S_IFDIR
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %22, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%24 = load i32, i32* @S_IFREG
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.15, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %24, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%26 = load i32, i32* @S_IFLNK
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.16, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %26, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%28 = load i32, i32* @S_IFMT
%29 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %28, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%30 = load i32, i32* @S_IEXEC
%31 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.18, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %30, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%32 = load i32, i32* @S_IWRITE
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.19, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %32, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%34 = load i32, i32* @S_IREAD
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.20, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %34, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%36 = load i32, i32* @S_IRWXU
%37 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.21, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %36, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%38 = load i32, i32* @S_IXUSR
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.22, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %38, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%40 = load i32, i32* @S_IWUSR
%41 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.23, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %40, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%42 = load i32, i32* @S_IRUSR
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.24, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.3, i64 0, i64 0), i32 %42, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.4, i64 0, i64 0))
%44 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @str.26, i64 0, i64 0))
ret void
}