reverted a deletion (instr def) and adjusted it. The function still segfaults...need to figure that out