/* An empty config file for the CBMC proofs to compile with the default
 * definitions of configuration macros. */