renamed stab.def