[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/rettype.i (no preprocessing)
tests/syntax/rettype.i:8:[kernel] user error: Declaration of foo does not match previous declaration from tests/syntax/rettype.i:5 (different integer types).
tests/syntax/rettype.i:4:[kernel] warning: found two contracts. Merging them
[kernel] user error: stopping on file "tests/syntax/rettype.i" that has errors.
[kernel] Frama-C aborted: invalid user input.
