bug #25: unrestricted access to released variables of non-ref.type