void g_free(void *ptr)

{

    __coverity_free__(ptr);

    __coverity_mark_as_afm_freed__(ptr, AFM_free);

}

void g_free(void *ptr)

{

    __coverity_free__(ptr);

    __coverity_mark_as_afm_freed__(ptr, AFM_free);

}

void FUNC_0(void *VAR_0)

{

    __coverity_free__(VAR_0);

    __coverity_mark_as_afm_freed__(VAR_0, AFM_free);

}

void FUNC_0(void *VAR_0)
{ __coverity_free__(VAR_0); __coverity_mark_as_afm_freed__(VAR_0, AFM_free); }