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