unique ids for aborts for dead functions