pure_fun()

Same return value for identical inputs, and no side effects.