Examples of HPF dummy argument mapping.