#define INT64_MAX 42