bench_case_finish
bench_case_finish(__FILE__, __LINE__); \
void bench_case_finish(const char *file, int line);