public static void SetRandomBits128(RandomBits128 rbit128) { mRandomBits128 = rbit128; }
public static void SetRandomBits128(RandomBits128 rbit128) { mRandomBits128 = rbit128; }
public static void SetRandomBits128(RandomBits128 rbit128) { mRandomBits128 = rbit128; }
public static void SetRandomBits128(RandomBits128 rbit128) { mRandomBits128 = rbit128; }