Pure function example in HPF.