/* * XXX: For compatibility we use SMALL_RANDOM by default. */