Frama is starting up...