BEGIN {
    printf("/* Don't edit this file - it is generated automatically");
    printf(" from\n   prot-a-parse-arg-h.awk and fncdef.txt */\n\n");
}
$1 != "#" {
    printf("void prot_a_parse_arg_%s(Connection *client);\n", $2);
}

END {    printf("/* end of this auto generated file. */\n");
}