[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/axiom_redef_bts1005.i (no preprocessing)
tests/spec/axiom_redef_bts1005.i:5:[kernel] warning: inj1 is already registered as axiom (tests/spec/axiom_redef_bts1005.i:4). Ignoring global annotation
/* Generated by Frama-C */

