Searched refs:v_2665X (Results 1 – 2 of 2) sorted by relevance
6487 char * v_2665X; in s48_restart() local21110 v_2665X = (char *) s48_long_to_bignum(x_2631X); in s48_restart()21111 v_2666X = enter_bignum(v_2665X); in s48_restart()