[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/arg_type.i (no preprocessing)
tests/syntax/arg_type.i:15:[kernel] user error: Declaration of g does not match previous declaration from tests/syntax/arg_type.i:13 (different integer types).
tests/syntax/arg_type.i:15:[kernel] failure: Cannot resolve variable x
[kernel] user error: stopping on file "tests/syntax/arg_type.i" that has errors.
[kernel] Frama-C aborted: invalid user input.
