End of randist functions