Suppress for warning about nondeterminism