Oh, I thought it was *un*defined behavior. But as I can't find the relevant paragraph in the spec right now, I'll trust you on that (and it's unclear in how this would apply to D anyway).