This directory contains general services that each plug-in may use to interact with the Frama-C kernel or other plug-ins.