issue #23404: try to root out nondeterminism