add runtot_int3.c