building a minimal certified library using frama-c