#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 rsgtutil_usage(void) {
  fprintf(
      stderr,
      "usage: rsgtutil [options]\n"
      "Use \"man rsgtutil\" for more details.\n\n"
      "\t-h, --help \t\t\t\t Show this help.\n"
      "\t-D, --dump \t\t\t\t dump operations mode.\n"
      "\t-t, --verify \t\t\t\t Verify operations mode.\n"
      "\t-e, --extend \t\t\t\t Extends the RFC3161 signatures.\n"
      "\t-x, --extract <LINENUMBERS> \t\t Extract these linenumbers including "
      "signatures.\n"
      "\t-B, --show-sigblock-params \t\t Show signature block parameters.\n"
      "\t-T, --detect-file-type \t\t\t Show Type of signature file.\n"
      "\t-c, --convert \t\t\t\t Convert Signature Format Version 10 to 11.\n"
      "\t-V, --version \t\t\t\t Print utility version\n"
      "\t\tOptional parameters\n"
      "\t-a <GT|KSI>, --api  <GT|KSI> \t\t Set which API to use.\n"
      "\t\tGT = Guardtime Client Library\n"
      "\t\tKSI = Guardtime KSI Library\n"
      "\t-s, --show-verified \t\t\t Also show correctly verified blocks.\n"
      "\t-P <URL>, --publications-server <URL> \t Sets the publications "
      "server.\n"
      "\t-E <URL>, --extend-server <URL> \t Sets the extension server.\n"
      "\t-u <USERID>, --userid <USERID> \t\t Sets the userid used (Needed for "
      "the extension server).\n"
      "\t-k <USERKEY>, --userkey <USERKEY> \t Sets the userkey used (Needed "
      "for the extension server).\n"
      "\t-o <FILENAME>, --output <FILENAME> \t Sets an output filename "
      "(EXTRACT Mode only).\n"
      "\t-A, --append \t\t\t\t Append extracted output to file (EXTRACT Mode "
      "only).\n"
      "\t-C <oid>=<value>, --cnstr <oid>=<value>\t Specify the OID of the PKI "
      "certificate field (e.g. e-mail address) and the expected value.\n"
      "\t-v, --verbose \t\t\t\t Verbose output.\n"
      "\t-d, --debug \t\t\t\t Debug (developer) output.\n");
}


x86 assembly (clang, -O0):
<rsgtutil_usage>:
push   %rbp
mov    %rsp,%rbp
mov    0x2ec5(%rip),%rax
mov    (%rax),%edi
lea    0xedc(%rip),%rsi
call   1030 <fprintf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<rsgtutil_usage>:
mov    0x2ec9(%rip),%rax
mov    (%rax),%edi
lea    0xee0(%rip),%rsi
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@stderr = global i32 0
@.str = [1424 x i8] c"usage: rsgtutil [options]\0AUse \22man rsgtutil\22 for more details.\0A\0A\09-h, --help \09\09\09\09 Show this help.\0A\09-D, --dump \09\09\09\09 dump operations mode.\0A\09-t, --verify \09\09\09\09 Verify operations mode.\0A\09-e, --extend \09\09\09\09 Extends the RFC3161 signatures.\0A\09-x, --extract <LINENUMBERS> \09\09 Extract these linenumbers including signatures.\0A\09-B, --show-sigblock-params \09\09 Show signature block parameters.\0A\09-T, --detect-file-type \09\09\09 Show Type of signature file.\0A\09-c, --convert \09\09\09\09 Convert Signature Format Version 10 to 11.\0A\09-V, --version \09\09\09\09 Print utility version\0A\09\09Optional parameters\0A\09-a <GT|KSI>, --api <GT|KSI> \09\09 Set which API to use.\0A\09\09GT = Guardtime Client Library\0A\09\09KSI = Guardtime KSI Library\0A\09-s, --show-verified \09\09\09 Also show correctly verified blocks.\0A\09-P <URL>, --publications-server <URL> \09 Sets the publications server.\0A\09-E <URL>, --extend-server <URL> \09 Sets the extension server.\0A\09-u <USERID>, --userid <USERID> \09\09 Sets the userid used (Needed for the extension server).\0A\09-k <USERKEY>, --userkey <USERKEY> \09 Sets the userkey used (Needed for the extension server).\0A\09-o <FILENAME>, --output <FILENAME> \09 Sets an output filename (EXTRACT Mode only).\0A\09-A, --append \09\09\09\09 Append extracted output to file (EXTRACT Mode only).\0A\09-C <oid>=<value>, --cnstr <oid>=<value>\09 Specify the OID of the PKI certificate field (e.g. e-mail address) and the expected value.\0A\09-v, --verbose \09\09\09\09 Verbose output.\0A\09-d, --debug \09\09\09\09 Debug (developer) output.\0A\00"
define void @rsgtutil_usage() {
%1 = load i32, i32* @stderr
%2 = call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([1424 x i8], [1424 x i8]* @.str, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [1424 x i8] c"usage: rsgtutil [options]\0AUse \22man rsgtutil\22 for more details.\0A\0A\09-h, --help \09\09\09\09 Show this help.\0A\09-D, --dump \09\09\09\09 dump operations mode.\0A\09-t, --verify \09\09\09\09 Verify operations mode.\0A\09-e, --extend \09\09\09\09 Extends the RFC3161 signatures.\0A\09-x, --extract <LINENUMBERS> \09\09 Extract these linenumbers including signatures.\0A\09-B, --show-sigblock-params \09\09 Show signature block parameters.\0A\09-T, --detect-file-type \09\09\09 Show Type of signature file.\0A\09-c, --convert \09\09\09\09 Convert Signature Format Version 10 to 11.\0A\09-V, --version \09\09\09\09 Print utility version\0A\09\09Optional parameters\0A\09-a <GT|KSI>, --api <GT|KSI> \09\09 Set which API to use.\0A\09\09GT = Guardtime Client Library\0A\09\09KSI = Guardtime KSI Library\0A\09-s, --show-verified \09\09\09 Also show correctly verified blocks.\0A\09-P <URL>, --publications-server <URL> \09 Sets the publications server.\0A\09-E <URL>, --extend-server <URL> \09 Sets the extension server.\0A\09-u <USERID>, --userid <USERID> \09\09 Sets the userid used (Needed for the extension server).\0A\09-k <USERKEY>, --userkey <USERKEY> \09 Sets the userkey used (Needed for the extension server).\0A\09-o <FILENAME>, --output <FILENAME> \09 Sets an output filename (EXTRACT Mode only).\0A\09-A, --append \09\09\09\09 Append extracted output to file (EXTRACT Mode only).\0A\09-C <oid>=<value>, --cnstr <oid>=<value>\09 Specify the OID of the PKI certificate field (e.g. e-mail address) and the expected value.\0A\09-v, --verbose \09\09\09\09 Verbose output.\0A\09-d, --debug \09\09\09\09 Debug (developer) output.\0A\00"
define void @rsgtutil_usage() {
%1 = load i32, i32* @stderr
%2 = tail call i32 @fprintf(i32 %1, i8* getelementptr inbounds ([1424 x i8], [1424 x i8]* @.str, i64 0, i64 0))
ret void
}