add spec/sample_arith_spec.c