#!/usr/bin/awk -f

BEGIN { }
{
	if ($0 ~/^pub/) {
		printf( "%d \n", sig)
		sig = 0
	}
	if ($0 ~/^sig/) {
		sig = sig+1
	}
}