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

void print(char *_ignore, char *variable_name, uint64_t value) {
    printf("%s = %llii64\n", variable_name, value);
}

void caller() {
    print(NULL, "x", 4);
}

extern void gogogo();

int main(int argc, char **argv) {
    gogogo();
    return 0;
}