[Change] Nondeterministic external functions. [Bugzilla] None. [Category] Substantive. [Description] 
Functions declared to be external functions can also be specified to be deterministic or nondeterministic.