frama-c stuck on that ...