typedef unsigned char uint8_t;
typedef unsigned long int uint64_t;

static void (*log)(const char*, uint64_t) = (void *) 1811268606;
static void (*log_64)(uint64_t, uint64_t, uint64_t, uint64_t, uint64_t) = (void *) 1883515721;