Hi! I'm currently diggin' though kaffe's internals. What is the difference between KFREE and gc_free? My assumption is that KFREE clears the mem at once, and gc_free marks the mem to be freed by the garbage collector? Am I right? In which situation should one preference which method? regards - Marc