This directory contains most of the header files described in the ANSI-C
standard. In addition to that, there are header files described in the POSIX
standard. Note that these are only the headers, there is no implementation.
If you want specific functions to exhibit behavior, you will need to provide
an implementation. As an exception, CBMC provides built-in malloc, calloc,
and free functions.
