Hans Boehm writes: > > The problem isn't really a system call writing pointers. The > problem is that if a system call writes into the heap, the GC needs > to have been told in advance that that section of memory is > pointerfree. Otherwise the system call may fail, since the memory > may not be writable. Interesting. Could we not intercept system calls? Andrew.