/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/

#include <string>

void ansi_c_internal_additions(std::string &code);
void ansi_c_architecture_strings(std::string &code);

extern const char gcc_builtin_headers_generic[];
extern const char gcc_builtin_headers_ia32[];
extern const char arm_builtin_headers[];

