Interfaces for the INRIA base library (except thread modules).
