update tests/01_test_without_opt.spec.c