1 helpnode "gnutls-cli-debug help\nUsage: gnutls-cli-debug [options] hostname"
4 option (p, port) INT "integer" { $pp = $1 } "The port to connect to."
6 option (h, help) { gaa_help(); exit(0); } "prints this help"
10 rest *STR "hostname" { $rest_args = $1; $nrest_args = @1 }
12 init { $rest_args=NULL; $nrest_args=0; $pp = 443; }