run with -O0