I give up. I don't feel strongly enough about this to keep arguing about it. Change array_size_for_constructor as you like so that it doesn't abort for your test case but instead returns zero. In that case, what's wrong with the change that I had (and whose testing is just about finiishing up)?