##161:

#line 2529 "/u/norman/pu/web/dist/src/master/spider.web"

#line 2530 "/u/norman/pu/web/dist/src/master/spider.web"
{if($0==last){
print"Error: duplicate name",$0,"on lines",NR-1"-"NR
exit-1
}
last=$0
}
##:161