#include <stdio.h>
#include <assert.h>

void main (int argc, char ** argv) {

    int x = 4;
    int y = 2;

    int * p = &y;

    assert(x/*p == 12345  /* p points to y */);

    printf("everything looks just fine \n");

    }