[kernel] warning: 1 state in saved file ignored. It is invalid in this Frama-C configuration.
[kernel] warning: ignoring source files specified on the command line while loading a global initial context.
