Mikael Djurfeldt <mdj@mdj-pc.nada.kth.se> writes: > Marius has a patch for this problem. I'd very much like to study it > before we apply it. I can't argue with that; in practice wrong DEFINE behavior happens very seldom. There may well be a better fix, I just wasn't able to think of one.