type messagefile {} type countfile {} (countfile t) countwords (messagefile f) { app { wc "-w" @filename(f) stdout=@filename(t); } } messagefile inputfile <"q16.txt">; countfile c; c = countwords(inputfile);