4.1.25: Bugs = killed.