Hi Folks,
It seems there's a garbage collector bug in 4.02. Rest assured that I'm
peering at gdb right now trying to fix it, but in the meantime a good
workaround is to use the -H option to increase the heap size (thereby doing
less garbage collections and not triggering the bug, it seems).
Cheers,
Simon
