The function of the arms in walking