#include <stdio.h>
int main() {
  char s[] = "Hello World!";
  void * p = s;
  void * q = p + 1;
  printf("%d ``%s''\n", sizeof(void), (char *)q);
  return 0;
}