extracting PyGen.ImportRandom