- definitions of random devices moved