#include <stdio.h>
#include <stdint.h>

int main() {
  printf("/* -- DO NOT CHANGE --------------------------------------- */\n");
  printf("/* -- AUTOMATICALLY GENERATED BY gen_slogconf ------------- */\n\n");

  printf("#define HAVE_JNI_H 1\n");
  printf("#define STDC_HEADERS 1\n");
  printf("#define SIZEOF_INT %zd\n", sizeof(int));
  printf("#define SIZEOF_LONG %zd\n", sizeof(long));
  printf("#define SIZEOF_LONG_LONG %zd\n", sizeof(long long));
  printf("#define SIZEOF_VOID_P %zd\n", sizeof(void*));
  printf("#define SIZEOF___INT64 %zd\n", sizeof(int64_t));

  return 0;
}
