finished 3.1.6: pointer return values.