#include <cinttypes>
#include <cstdint>
#include <cstdio>

int main() {
    int i = 123;
    void* p = &i;
    printf("%08" PRIxPTR "\n", (uintptr_t)p);
    return 0;
}