add runtot_double.c