void donotoptimize();