Argument names in header files