#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
void secat_format() {
  fprintf(stderr, "     0 ==> ID, alpha, delta\n");
  fprintf(stderr, "     1 ==> alpha, delta\n");
  fprintf(stderr, "     2 ==> hr, min, sec, deg, amin, asec\n");
  fprintf(stderr, "     3 ==> x, y, hr, min, sec, deg, amin, asec\n");
  fprintf(stderr, "     4 ==> Format returned by 2MASS server\n");
  fprintf(stderr, "        alpha, delta, ...many other cols...\n");
  fprintf(stderr, "        (Skip the first 14 lines)\n");
  fprintf(stderr, "     5 ==> distcalc.c output format\n");
  fprintf(stderr, "     6 ==> Format produced by run_sext*sh in Lenses ");
  fprintf(stderr, "directory.\n");
  fprintf(stderr,
          "     7 ==> Format produced by running catsort on format=6\n");
  fprintf(stderr, "     8 ==> Format returned by USNO A2 star web page\n");
  fprintf(stderr, "        hr, min, sec, deg, amin, asec, mag\n");
  fprintf(stderr, "        (Skip the first 3 lines)\n");
  fprintf(stderr, "     9 ==> ");
  fprintf(stderr, "name, hr, min, sec, deg, amin, asec, mag, magerr\n");
  fprintf(stderr, "        (where mag and magerr are optional columns)\n");
  fprintf(stderr, "        e.g., format returned by USNO B1 star web page\n");
  fprintf(stderr, "    10 ==> name, alpha, delta, mag, magerr\n");
  fprintf(stderr, "        (where mag and magerr are optional columns)\n");
  fprintf(stderr, "        e.g., from SDSS object-crossid page\n");
  fprintf(stderr, "    11 ==> SDSS format from Imaging Query page:\n");
  fprintf(stderr, "        alpha, delta, u, g, r, i, z, ... perhaps more\n");
  fprintf(stderr, "    12 ==> modified SDSS format:\n");
  fprintf(stderr, "        id, alpha, delta, u, g, r, i, z, dalpha, ddelta, ");
  fprintf(stderr, "dtot, RA(hms) Dec(hms)\n");
  fprintf(stderr, "    13 ==> id, alpha, delta, x, y, flag, class, ... \n");
  fprintf(stderr, "    14 ==> x, y, hr:min:sec, deg:amin:asec\n");
  fprintf(stderr, "    15 ==> master tab format:\n");
  fprintf(stderr, "        name, alpha, delta, z, zerr\n");
  fprintf(stderr, "    16 ==> name, hr, min, sec, deg, amin, asec, z\n");
  fprintf(stderr, "    17 ==> standard star photometry format:\n");
  fprintf(stderr, "        id, x, y, mauto, errauto, (20 mag_apers), ");
  fprintf(stderr, "(20 mag_aper errors)\n");
  fprintf(stderr, "\n");
}


x86 assembly (clang, -O0):
<secat_format>:
push   %rbp
mov    %rsp,%rbp
mov    0x2ec5(%rip),%rax
mov    (%rax),%edi
lea    0xedc(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2eb0(%rip),%rax
mov    (%rax),%edi
lea    0xee4(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e9b(%rip),%rax
mov    (%rax),%edi
lea    0xee8(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e86(%rip),%rax
mov    (%rax),%edi
lea    0xefd(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e71(%rip),%rax
mov    (%rax),%edi
lea    0xf18(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e5c(%rip),%rax
mov    (%rax),%edi
lea    0xf2f(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e47(%rip),%rax
mov    (%rax),%edi
lea    0xf47(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e32(%rip),%rax
mov    (%rax),%edi
lea    0xf55(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e1d(%rip),%rax
mov    (%rax),%edi
lea    0xf65(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2e08(%rip),%rax
mov    (%rax),%edi
lea    0xf85(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2df3(%rip),%rax
mov    (%rax),%edi
lea    0xf7c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dde(%rip),%rax
mov    (%rax),%edi
lea    0xfa2(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2dc9(%rip),%rax
mov    (%rax),%edi
lea    0xfc2(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2db4(%rip),%rax
mov    (%rax),%edi
lea    0xfd9(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d9f(%rip),%rax
mov    (%rax),%edi
lea    0xfe6(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d8a(%rip),%rax
mov    (%rax),%edi
lea    0xfdd(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d75(%rip),%rax
mov    (%rax),%edi
lea    0xffa(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d60(%rip),%rax
mov    (%rax),%edi
lea    0x101a(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d4b(%rip),%rax
mov    (%rax),%edi
lea    0x103d(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d36(%rip),%rax
mov    (%rax),%edi
lea    0xfbb(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d21(%rip),%rax
mov    (%rax),%edi
lea    0x103f(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2d0c(%rip),%rax
mov    (%rax),%edi
lea    0x1057(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cf7(%rip),%rax
mov    (%rax),%edi
lea    0x1073(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ce2(%rip),%rax
mov    (%rax),%edi
lea    0x1095(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ccd(%rip),%rax
mov    (%rax),%edi
lea    0x10a2(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2cb8(%rip),%rax
mov    (%rax),%edi
lea    0x10c7(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2ca3(%rip),%rax
mov    (%rax),%edi
lea    0x10ca(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c8e(%rip),%rax
mov    (%rax),%edi
lea    0x10eb(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c79(%rip),%rax
mov    (%rax),%edi
lea    0x1102(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c64(%rip),%rax
mov    (%rax),%edi
lea    0x110c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c4f(%rip),%rax
mov    (%rax),%edi
lea    0x111c(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c3a(%rip),%rax
mov    (%rax),%edi
lea    0x113a(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c25(%rip),%rax
mov    (%rax),%edi
lea    0x1152(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2c10(%rip),%rax
mov    (%rax),%edi
lea    0x1170(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x2bfb(%rip),%rax
mov    (%rax),%edi
lea    0x1056(%rip),%rsi
call   1030 <fprintf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<secat_format>:
push   %r14
push   %rbx
push   %rax
mov    0x2ec5(%rip),%rbx
mov    (%rbx),%edi
lea    0xedc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xeeb(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xef6(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf12(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf34(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf52(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf71(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf86(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xf9d(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfc4(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfc2(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0xfef(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1016(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1034(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1048(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1046(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x106a(%rip),%r14
mov    %r14,%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x108e(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10b8(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
mov    %r14,%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10cc(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x10eb(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x110e(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1137(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x114b(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1177(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1181(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11a9(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11c7(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11d8(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x11ef(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1214(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1233(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1258(%rip),%rsi
call   1030 <fprintf@plt>
mov    (%rbx),%edi
lea    0x1145(%rip),%rsi
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [29 x i8] c" 0 ==> ID, alpha, delta\0A\00"
@.str.1 = [25 x i8] c" 1 ==> alpha, delta\0A\00"
@.str.2 = [42 x i8] c" 2 ==> hr, min, sec, deg, amin, asec\0A\00"
@.str.3 = [48 x i8] c" 3 ==> x, y, hr, min, sec, deg, amin, asec\0A\00"
@.str.4 = [44 x i8] c" 4 ==> Format returned by 2MASS server\0A\00"
@.str.5 = [45 x i8] c" alpha, delta, ...many other cols...\0A\00"
@.str.6 = [35 x i8] c" (Skip the first 14 lines)\0A\00"
@.str.7 = [37 x i8] c" 5 ==> distcalc.c output format\0A\00"
@.str.8 = [53 x i8] c" 6 ==> Format produced by run_sext*sh in Lenses \00"
@.str.9 = [12 x i8] c"directory.\0A\00"
@.str.10 = [59 x i8] c" 7 ==> Format produced by running catsort on format=6\0A\00"
@.str.11 = [53 x i8] c" 8 ==> Format returned by USNO A2 star web page\0A\00"
@.str.12 = [44 x i8] c" hr, min, sec, deg, amin, asec, mag\0A\00"
@.str.13 = [34 x i8] c" (Skip the first 3 lines)\0A\00"
@.str.14 = [12 x i8] c" 9 ==> \00"
@.str.15 = [50 x i8] c"name, hr, min, sec, deg, amin, asec, mag, magerr\0A\00"
@.str.16 = [53 x i8] c" (where mag and magerr are optional columns)\0A\00"
@.str.17 = [56 x i8] c" e.g., format returned by USNO B1 star web page\0A\00"
@.str.18 = [44 x i8] c" 10 ==> name, alpha, delta, mag, magerr\0A\00"
@.str.19 = [45 x i8] c" e.g., from SDSS object-crossid page\0A\00"
@.str.20 = [49 x i8] c" 11 ==> SDSS format from Imaging Query page:\0A\00"
@.str.21 = [55 x i8] c" alpha, delta, u, g, r, i, z, ... perhaps more\0A\00"
@.str.22 = [34 x i8] c" 12 ==> modified SDSS format:\0A\00"
@.str.23 = [58 x i8] c" id, alpha, delta, u, g, r, i, z, dalpha, ddelta, \00"
@.str.24 = [24 x i8] c"dtot, RA(hms) Dec(hms)\0A\00"
@.str.25 = [54 x i8] c" 13 ==> id, alpha, delta, x, y, flag, class, ... \0A\00"
@.str.26 = [44 x i8] c" 14 ==> x, y, hr:min:sec, deg:amin:asec\0A\00"
@.str.27 = [31 x i8] c" 15 ==> master tab format:\0A\00"
@.str.28 = [37 x i8] c" name, alpha, delta, z, zerr\0A\00"
@.str.29 = [51 x i8] c" 16 ==> name, hr, min, sec, deg, amin, asec, z\0A\00"
@.str.30 = [45 x i8] c" 17 ==> standard star photometry format:\0A\00"
@.str.31 = [51 x i8] c" id, x, y, mauto, errauto, (20 mag_apers), \00"
@.str.32 = [22 x i8] c"(20 mag_aper errors)\0A\00"
@.str.33 = [2 x i8] c"\0A\00"
define void @secat_format() {
%1 = load i32, i32* @stderr
%2 = call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stderr
%6 = call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stderr
%8 = call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stderr
%10 = call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.16, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.19, i64 0, i64 0))
%43 = load i32, i32* @stderr
%44 = call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.20, i64 0, i64 0))
%45 = load i32, i32* @stderr
%46 = call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.21, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.22, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.23, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.24, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.25, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.26, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.27, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.28, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.29, i64 0, i64 0))
%63 = load i32, i32* @stderr
%64 = call i32 @fprintf(i32 %63, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.30, i64 0, i64 0))
%65 = load i32, i32* @stderr
%66 = call i32 @fprintf(i32 %65, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.31, i64 0, i64 0))
%67 = load i32, i32* @stderr
%68 = call i32 @fprintf(i32 %67, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.32, i64 0, i64 0))
%69 = load i32, i32* @stderr
%70 = call i32 @fprintf(i32 %69, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.33, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [29 x i8] c" 0 ==> ID, alpha, delta\0A\00"
@.str.1 = [25 x i8] c" 1 ==> alpha, delta\0A\00"
@.str.2 = [42 x i8] c" 2 ==> hr, min, sec, deg, amin, asec\0A\00"
@.str.3 = [48 x i8] c" 3 ==> x, y, hr, min, sec, deg, amin, asec\0A\00"
@.str.4 = [44 x i8] c" 4 ==> Format returned by 2MASS server\0A\00"
@.str.5 = [45 x i8] c" alpha, delta, ...many other cols...\0A\00"
@.str.6 = [35 x i8] c" (Skip the first 14 lines)\0A\00"
@.str.7 = [37 x i8] c" 5 ==> distcalc.c output format\0A\00"
@.str.8 = [53 x i8] c" 6 ==> Format produced by run_sext*sh in Lenses \00"
@.str.9 = [12 x i8] c"directory.\0A\00"
@.str.10 = [59 x i8] c" 7 ==> Format produced by running catsort on format=6\0A\00"
@.str.11 = [53 x i8] c" 8 ==> Format returned by USNO A2 star web page\0A\00"
@.str.12 = [44 x i8] c" hr, min, sec, deg, amin, asec, mag\0A\00"
@.str.13 = [34 x i8] c" (Skip the first 3 lines)\0A\00"
@.str.14 = [12 x i8] c" 9 ==> \00"
@.str.15 = [50 x i8] c"name, hr, min, sec, deg, amin, asec, mag, magerr\0A\00"
@.str.16 = [53 x i8] c" (where mag and magerr are optional columns)\0A\00"
@.str.17 = [56 x i8] c" e.g., format returned by USNO B1 star web page\0A\00"
@.str.18 = [44 x i8] c" 10 ==> name, alpha, delta, mag, magerr\0A\00"
@.str.19 = [45 x i8] c" e.g., from SDSS object-crossid page\0A\00"
@.str.20 = [49 x i8] c" 11 ==> SDSS format from Imaging Query page:\0A\00"
@.str.21 = [55 x i8] c" alpha, delta, u, g, r, i, z, ... perhaps more\0A\00"
@.str.22 = [34 x i8] c" 12 ==> modified SDSS format:\0A\00"
@.str.23 = [58 x i8] c" id, alpha, delta, u, g, r, i, z, dalpha, ddelta, \00"
@.str.24 = [24 x i8] c"dtot, RA(hms) Dec(hms)\0A\00"
@.str.25 = [54 x i8] c" 13 ==> id, alpha, delta, x, y, flag, class, ... \0A\00"
@.str.26 = [44 x i8] c" 14 ==> x, y, hr:min:sec, deg:amin:asec\0A\00"
@.str.27 = [31 x i8] c" 15 ==> master tab format:\0A\00"
@.str.28 = [37 x i8] c" name, alpha, delta, z, zerr\0A\00"
@.str.29 = [51 x i8] c" 16 ==> name, hr, min, sec, deg, amin, asec, z\0A\00"
@.str.30 = [45 x i8] c" 17 ==> standard star photometry format:\0A\00"
@.str.31 = [51 x i8] c" id, x, y, mauto, errauto, (20 mag_apers), \00"
@.str.32 = [22 x i8] c"(20 mag_aper errors)\0A\00"
@.str.33 = [2 x i8] c"\0A\00"
define void @secat_format() {
%1 = load i32, i32* @stderr
%2 = tail call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str, i64 0, i64 0))
%3 = load i32, i32* @stderr
%4 = tail call i32 @fprintf(i32 %3, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.1, i64 0, i64 0))
%5 = load i32, i32* @stderr
%6 = tail call i32 @fprintf(i32 %5, i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.2, i64 0, i64 0))
%7 = load i32, i32* @stderr
%8 = tail call i32 @fprintf(i32 %7, i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.3, i64 0, i64 0))
%9 = load i32, i32* @stderr
%10 = tail call i32 @fprintf(i32 %9, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.4, i64 0, i64 0))
%11 = load i32, i32* @stderr
%12 = tail call i32 @fprintf(i32 %11, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.5, i64 0, i64 0))
%13 = load i32, i32* @stderr
%14 = tail call i32 @fprintf(i32 %13, i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.6, i64 0, i64 0))
%15 = load i32, i32* @stderr
%16 = tail call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.7, i64 0, i64 0))
%17 = load i32, i32* @stderr
%18 = tail call i32 @fprintf(i32 %17, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.8, i64 0, i64 0))
%19 = load i32, i32* @stderr
%20 = tail call i32 @fprintf(i32 %19, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.9, i64 0, i64 0))
%21 = load i32, i32* @stderr
%22 = tail call i32 @fprintf(i32 %21, i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.10, i64 0, i64 0))
%23 = load i32, i32* @stderr
%24 = tail call i32 @fprintf(i32 %23, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.11, i64 0, i64 0))
%25 = load i32, i32* @stderr
%26 = tail call i32 @fprintf(i32 %25, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.12, i64 0, i64 0))
%27 = load i32, i32* @stderr
%28 = tail call i32 @fprintf(i32 %27, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.13, i64 0, i64 0))
%29 = load i32, i32* @stderr
%30 = tail call i32 @fprintf(i32 %29, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.14, i64 0, i64 0))
%31 = load i32, i32* @stderr
%32 = tail call i32 @fprintf(i32 %31, i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.15, i64 0, i64 0))
%33 = load i32, i32* @stderr
%34 = tail call i32 @fprintf(i32 %33, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.16, i64 0, i64 0))
%35 = load i32, i32* @stderr
%36 = tail call i32 @fprintf(i32 %35, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.17, i64 0, i64 0))
%37 = load i32, i32* @stderr
%38 = tail call i32 @fprintf(i32 %37, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.18, i64 0, i64 0))
%39 = load i32, i32* @stderr
%40 = tail call i32 @fprintf(i32 %39, i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.16, i64 0, i64 0))
%41 = load i32, i32* @stderr
%42 = tail call i32 @fprintf(i32 %41, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.19, i64 0, i64 0))
%43 = load i32, i32* @stderr
%44 = tail call i32 @fprintf(i32 %43, i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.20, i64 0, i64 0))
%45 = load i32, i32* @stderr
%46 = tail call i32 @fprintf(i32 %45, i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.21, i64 0, i64 0))
%47 = load i32, i32* @stderr
%48 = tail call i32 @fprintf(i32 %47, i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.22, i64 0, i64 0))
%49 = load i32, i32* @stderr
%50 = tail call i32 @fprintf(i32 %49, i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.23, i64 0, i64 0))
%51 = load i32, i32* @stderr
%52 = tail call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.24, i64 0, i64 0))
%53 = load i32, i32* @stderr
%54 = tail call i32 @fprintf(i32 %53, i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.25, i64 0, i64 0))
%55 = load i32, i32* @stderr
%56 = tail call i32 @fprintf(i32 %55, i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.26, i64 0, i64 0))
%57 = load i32, i32* @stderr
%58 = tail call i32 @fprintf(i32 %57, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.27, i64 0, i64 0))
%59 = load i32, i32* @stderr
%60 = tail call i32 @fprintf(i32 %59, i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.28, i64 0, i64 0))
%61 = load i32, i32* @stderr
%62 = tail call i32 @fprintf(i32 %61, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.29, i64 0, i64 0))
%63 = load i32, i32* @stderr
%64 = tail call i32 @fprintf(i32 %63, i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.30, i64 0, i64 0))
%65 = load i32, i32* @stderr
%66 = tail call i32 @fprintf(i32 %65, i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.31, i64 0, i64 0))
%67 = load i32, i32* @stderr
%68 = tail call i32 @fprintf(i32 %67, i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.32, i64 0, i64 0))
%69 = load i32, i32* @stderr
%70 = tail call i32 @fprintf(i32 %69, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.33, i64 0, i64 0))
ret void
}