source: CIVL/mods/dev.civl.abc/examples/c/assigns.c

int f(int x, int y){
  return x+y;
}

typedef struct point_t{
  const int x;
  int y;
}point;

$input int X;

int main(){
  point a;

  X=10;//an error should be reported
  89=9;//an error should be reported
  a=(point){8, 9};//an error should be reported
}