--- layout: fc_discuss_archives title: Message 87 from Frama-C-discuss on March 2009 ---
Hello David, That's a good idea. Regards, Boris