mox is fundamentally flawed, nondeterministic. changing it to a foobar generator