Pure functions in HPF.