Core dump epidemiology: fixing an 18-year-old bug | Agent5