Function copy_string

v2/engine/yyacc.c:212–218

}

char * copy_string(char * s, int l)
{
    char * result = (char*)malloc(l+1);
    strncpy(result,s,l);
    result[l] = 0;
    return result;
}

char * tokenize_string(char * s)
{