char *g_strconcat(const char *s, ...)

{

    char *s;



    /*

     * Can't model: last argument must be null, the others

     * null-terminated strings

     */



    s = __coverity_alloc_nosize__();

    __coverity_writeall__(s);

    __coverity_mark_as_afm_allocated__(s, AFM_free);

    return s;

}

char *g_strconcat(const char *s, ...)

{

    char *s;



    









    s = __coverity_alloc_nosize__();

    __coverity_writeall__(s);

    __coverity_mark_as_afm_allocated__(s, AFM_free);

    return s;

}

char *FUNC_0(const char *VAR_1, ...)

{

    char *VAR_1;



    









    VAR_1 = __coverity_alloc_nosize__();

    __coverity_writeall__(VAR_1);

    __coverity_mark_as_afm_allocated__(VAR_1, AFM_free);

    return VAR_1;

}

char *FUNC_0(const char *VAR_1, ...)
{ char *VAR_1; VAR_1 = __coverity_alloc_nosize__(); __coverity_writeall__(VAR_1); __coverity_mark_as_afm_allocated__(VAR_1, AFM_free); return VAR_1; }