#include <stdint.h>

void
setrealloctag(void*, uintptr_t)
{
}