random_version
version[0] = random_version();
version[i] = random_version();
version[i] = random_version();
version[i] = random_version();
version = expected_version = random_version();
version[i] = expected_version[i] = random_version();
version[i] = random_version();