Searched refs:x_2543X (Results 1 – 2 of 2) sorted by relevance
6609 char * x_2543X; in s48_restart() local20489 x_2543X = arg3K0; in s48_restart()20490 v_2544X = s48_bignum_test(x_2543X); in s48_restart()20492 v_2545X = (char *) s48_bignum_negate(x_2543X); in s48_restart()20496 arg3K0 = x_2543X; in s48_restart()