definition module WC

import StdFile

wc :: String *env -> (Int,*env) | FileSystem env