extern vnm();	/* (bblock_p bp)
		 * Performs the valuenumbering algorithm on the basic
		 * block in bp.
		 */