size_t size;

    size_t size;

#endif

#endif

    if (ptr == (void *) -1) {

    if (ptr == (void *) -1) {

	xmlGenericError(xmlGenericErrorContext,

	xmlGenericError(xmlGenericErrorContext,

	    "trying to free pointer from freed area\n");

	    "trying to free pointer from freed area\n");