/*
 * dereference.c
 */

#include <stdio.h>

int main(int argc, char *argv[])
{
    int x = 42;
    int *pointer_to_int;

    pointer_to_int = &x;
    printf("pointer_to_int has the value %p\n", pointer_to_int);
    printf("pointer_to_int points to the value %d\n", *pointer_to_int);

    *pointer_to_int = 3720;
    printf("x now has the value %d\n", x);
}