ImpLang: determinism.