Symbol: RAND_status