cat <<__EOF__
/* WARNING: automatically generated file. Generated from builtins/builtins.c */
static const char builtins[] =
__EOF__
cat <<__EOF__
/* WARNING: automatically generated file. Generated from builtins/builtins.c */
static const char builtins[] =
__EOF__