Как распечатать адрес указателя в c

int a = 42;

printf("%p\n", (void *) &a);