#include <stdio.h>

int main(void)
{
    const void* pointer = (void*)(1000);
    printf("original pointer = %p\n", pointer);
    pointer = NULL;
    printf("changed pointer = %p\n", pointer);
    return 0;
}