/*

    The following code has been created by a machine. If this comment appears
    in the public header of **libconfini** it means that no human has
    ever revised this content, although someone should have. If you are instead
    that human appointed to review this code before it gets pasted to the
    public header, please remove this comment.

    If a standard header providing these objects is available for your
    platform, please replace the entire section below with the following line:

        #include <some_header.h>

*/

