> Do I understand correctly that the purpose of the GC_HEAP_LIMIT_SLOP > business is to optimize the heap limit checks (since we save an add of > the allocation size) in the common case that the allocation is less > than that size? Correct, purely an invariant that is enforced for the optimization.