#include <stdint.h>

void print(char *variable_name, uint64_t value);

void gogogo() {
    print("x", 4);
}