reproduce seeddump bug