/* Common for both SeeRC and WSeeRC */
void exportSeeRCSymbols()
{
        scAdd_Internal_Header("stdio",
        "import int printf(char *,...);\n"
        "import int sprintf(char*,char *,...);\n"
        "import int scanf(char *,...);\n"
        "import int getchar();\n"
        "import int scrandom(int);\n"
        "import int rand();\n"
        "import int srand(int seed);\n"
        "import int strcpy(char *,char *);\n"
        "import int strcmp(char *,char *);\n"
        "import int strtol(char *,char **,int);\n"
        "import int atoi(char *);\n"
        "import double atof(char *);\n"
        "import unsigned int strtoul(char *,char **,int);\n"
        "import double strtod(char *,char **);\n"
        "import char *strdup(char *);\n"
        "import double sqrt(double);\n"
        "import double sin(double);\n"
        "import double cos(double);\n"
        "import void* malloc(int);\n"
        "import void free(void *);\n"
        );
        scExport_Kernel();
}