Hi! I am trying to figure how Kaffe allocates memory using Linux on an i386. I found this in gc.h : struct GarbageCollectorInterface_Ops { ... void* (*malloc)(Collector *, size_t size, int type); void* (*realloc)(Collector *, void* addr, size_t size, int type); ... }