// PLACEHOLDER
#include <stdint.h>
uint64_t a = 0;