Dummy and actual arg names may not be the same