Updated Missed File

Missed new function in Randomness extension