text: [kernel] Parsing tests/syntax/constfold.i (no preprocessing)
  /* Generated by Frama-C */
  int main(void)
  {
    int __retres;
    char a[1] = {(char)0};
    int i = 36;
    int j = 36;
    __retres = 0;
    return __retres;
  }
  
  
  