/*11:*/
#line 187 "/u/norman/pu/web/dist/src/master/pathopen.web"

#line 188 "/u/norman/pu/web/dist/src/master/pathopen.web"
void pathaddname();
void pathaddpath();
void pathreset();
FILE *pathopen();
/*:11*/