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

static_assert(sizeof(intmax_t) >= 16, "Platform must support 128bit integers");

int main(int argc, char *argv[]) {
  printf("In the main\n");
  return 0;
}