[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/designated_init_pretty_print_bts1457.i (no preprocessing)
/* Generated by Frama-C */
int t[10] = {[4] = 5, 5, 5};
int u[10] = {[4] = 3};
int v[10] = {0, [5] = 42, 36, 7, [9] = 9};
void main(void)
{
  return;
}


