странный формат вывода, когда я печатаю адрес памяти в c

Question

Когда я пытаюсь это C код, который печатает адрес памяти трех переменных:

int a = 45;
float b;
char c;

printf("Address of a: %p \n", &a);
printf("Address of b: %p \n", &b);
printf("Address of c: %p \n", &c);

Выходные данные:

Address of a: 0061FEB4
Address of b: 0061FEB0
Address of c: 0061FEAF

, и я хочу его в формате, как 0x7ffd3d518618. Как я могу это сделать?

Я выполнил тот же код на другом компьютере под Ubuntu, и вывод отображается в формате 0x7ffd3d518618.