add runtot_int6.c