:- dynamic curr_size/1.



total_size(File_Type) :-
	retractall(curr_size(_)),
	assert(curr_size(0)),
	call(File_Type, X, Y),
	write((X,Y)),
	curr_size(Z),
	retractall(curr_size(Z)),
	Z2 is Z + 1,
	assert(curr_size(Z2)),
	fail.

