memory for it. Apparently, this bug was hidden by our malloc implementation. Reported by Jason Downs.