#include <inttypes.h>

int64_t meaning(void) {
  return 42;
}