verify: kill unneeded forward declaration