Debugging compilers with optimization fuel : Inside 245-5D