bench_solve_em_def.h calls