int main(void) {
  int *n= (int *)42;
  *n = 42;
  return 0;
}