******** fig4.9 **********

	unsigned int
	size_directory( Directory_or_file D )
	{
		unsigned int total_size;

/*1*/		total_size = 0;
/*2*/		if( D is a legitimate entry )
		{
/*3*/			total_size = file_size( D );
/*4*/			if( D is a directory )
/*5*/				for each child, c, of D
/*6*/					total_size += size_directory( c );
		}

/*7*/		return( total_size );
	}