#include <cstdarg>
#include <cstdint>
#include <cstdlib>
#include <new>

static const uint32_t Foo_FOO = 42;