Annotation Type Deterministic
Specifies that function is deterministic (i.e. returns the same output
given the same inputs).
Deterministic functions can be factored out by optimizer to static fields.
Deterministic functions can be factored out by optimizer to static fields.