#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char **argv) {
  char *s = (char *) malloc (1024);
  char *t = s - 12;

  strcpy(s, "Hello!");
  s = NULL;

  printf("Reaching s: %s\n", t + 12);
  long int x = (long int) t + 12;
  printf("Reaching s: %s\n", (char *) x);

  return 0;
}