class PROCESS
feature
	make (args: STRING)
		do
		end;
end