Using names in the prototypes is our convention. It serves as documentation. In the headers where more care was taken, each prototype is preceded by a comment, which uses the argument names.