@[(]@
{
	printf("parens=%d\n", parens );
	parens = parens + match( $0, @(@ );
	printf("parens=%d\n", parens );
}
END
{
	printf("parens=%d\n", parens );
}