#include <limits.h>

int bindings_sc_CHAR_BIT (void) {
  return CHAR_BIT ;
}
int bindings_sc_MB_LEN_MAX (void) {
  return MB_LEN_MAX ;
}

#include <locale.h>

int bindings_sc_LC_ALL (void) {
  return LC_ALL ;
}
int bindings_sc_LC_COLLATE (void) {
  return LC_COLLATE ;
}
int bindings_sc_LC_CTYPE (void) {
  return LC_CTYPE ;
}
int bindings_sc_LC_MONETARY (void) {
  return LC_MONETARY ;
}
int bindings_sc_LC_NUMERIC (void) {
  return LC_NUMERIC ;
}
int bindings_sc_LC_TIME (void) {
  return LC_TIME ;
}

#include <math.h>

double bindings_sc_HUGE_VAL (void) {
  return HUGE_VAL ;
}

#include <signal.h>

void (*bindings_cs_SIG_DFL (int sig, void (*func)(int))) (int) {
  return SIG_DFL ;
}
void (*bindings_cs_SIG_ERR (int sig, void (*func)(int))) (int) {
  return SIG_ERR ;
}
void (*bindings_cs_SIG_IGN (int sig, void (*func)(int))) (int) {
  return SIG_IGN ;
}
int bindings_cs_SIGABRT (void) {
  return SIGABRT ;
}
int bindings_cs_SIGFPE (void) {
  return SIGFPE ;
}
int bindings_cs_SIGILL (void) {
  return SIGILL ;
}
int bindings_cs_SIGINT (void) {
  return SIGINT ;
}
int bindings_cs_SIGSEGV (void) {
  return SIGSEGV ;
}
int bindings_cs_SIGTERM (void) {
  return SIGTERM ;
}

#include <stdio.h>

int bindings_cs_IOFBF (void) {
  return _IOFBF ;
}
int bindings_cs_IOLBF (void) {
  return _IOLBF ;
}
int bindings_cs_IONBF (void) {
  return _IONBF ;
}
int bindings_cs_BUFSIZ (void) {
  return BUFSIZ ;
}
int bindings_cs_EOF (void) {
  return EOF ;
}
int bindings_cs_FOPEN_MAX (void) {
  return FOPEN_MAX ;
}
int bindings_cs_FILENAME_MAX (void) {
  return FILENAME_MAX ;
}
int bindings_cs_L_tmpnam (void) {
  return L_tmpnam ;
}
int bindings_cs_SEEK_CUR (void) {
  return SEEK_CUR ;
}
int bindings_cs_SEEK_END (void) {
  return SEEK_END ;
}
int bindings_cs_SEEK_SET (void) {
  return SEEK_SET ;
}
int bindings_cs_TMP_MAX (void) {
  return TMP_MAX ;
}
FILE* bindings_cs_stderr (void) {
  return stderr ;
}
FILE* bindings_cs_stdin (void) {
  return stdin ;
}
FILE* bindings_cs_stdout (void) {
  return stdout ;
}

#include <stdlib.h>

int bindings_cs_EXIT_FAILURE (void) {
  return EXIT_FAILURE ;
}
int bindings_cs_EXIT_SUCCESS (void) {
  return EXIT_SUCCESS ;
}
int bindings_cs_RAND_MAX (void) {
  return RAND_MAX ;
}
size_t bindings_cs_MB_CUR_MAX (void) {
  return MB_CUR_MAX ;
}

#include <time.h>

clock_t bindings_cs_CLOCKS_PER_SEC (void) {
  return CLOCKS_PER_SEC ;
}