--------------0FAB54EC97E6AEB7A6F14C5D Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit 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); ... }