The reference count for reused nodes needs to be bumped once
for every occurence...

This bug was triggered at least by the empty loop ==> assignment rules,
with the effect that the free list in block alloc got corrupted.

Example code that triggered the bug:

  int i;
  array a;
  for(; i < sizeof(a); i++)
    ;