#non-deterministic-bug