does this initialize seed by default to something that is not `None`?