snprintf(memory_leak_buf,512,"Freeing 0x%0.8X (%d bytes), allocated in %s on line %d<br>\n",(void*)((char*)t+sizeof(mem_header)+PLATFORM_PADDING),t->size,t->filename,t->lineno);
# if WIN32||WINNT
OutputDebugString(memory_leak_buf);
# else
php3_printf("Freeing 0x%0.8X (%d bytes), allocated in %s on line %d<br>\n",(void*)((char*)t+sizeof(mem_header)+PLATFORM_PADDING),t->size,t->filename,t->lineno);