start_section :

	i,j : integer;
	max_size : array (buffers_range)  of integer;
	current_size : array (buffers_range) of integer;

	current_size:=0;
	max_size:=0;

end section;


gather_event_analyzer_section :

	if (events.type = "write_to_buffer")
		then
                id := search_buffer(events.buffer_name);
                size(id):=size(id)+buffers.size(id);
	end if;
	if (events.type = "read_from_buffer")
		then
                id := search_buffer(events.buffer_name);
                size(id):=size(id)-buffers.Size(id);
	end if;

end section;

display_event_analyzer_section :

	put(buffers.name,0,1);
	put(max_size,0,1);

end section;