rxnpatch/2015-09-18T143948
f310e91e · ADT.Heap: 2nd try at fixing the NULL-deref. ·