Excuse my ignorance, but what is "argp" as mentioned by the GNU Hurd Reference Manual? It sounds related to argc or argv but I can't figure out what it is.