Function retesave_string

Core/SoarKernel/src/rete.cpp:7706–7714

char reteload_string_buf[4 * MAX_LEXEME_LENGTH];

void retesave_string(const char* s, FILE* f)
{
    while (*s)
    {
        retesave_one_byte(*s, f);
        s++;
    }
    retesave_one_byte(0, f);
}

void reteload_string(FILE* f)
{