Randomized extensions, randomized dir count