specmicp/benchmark/bm_common.cpp

fixpoint