Don't import randomness