void setmalloctag(void*, unsigned long) { }