* [SC] Removed RANDOM_EXT, use library(random) instead.