#include <stdlib.h>

extern void *krealloc(void *ptr, size_t size);

void *realloc(void *ptr, size_t size)
{
	return krealloc(ptr, size);
}