Comment 7 for bug 434534

I attached a dvi file similar to the ones that caused the crashes.