#include <stdio.h>

const int x = 1;

int main() {
  int *px = (int *)&x;
  *px = 0;
  printf("x is %d", x);  
  return 0;
}