func unix(n:STR ):SEXP
returns  let(f = popen(n,"r"),
             r = readf(f),
             x = pclose(f))
         in r; 

func p2i(n:SYM):SYM                    /* port. word to english */
returns let (com=strcat( "awk '$1==\"",
                         symstr(n),
                         "\" {print $2}' dicn"))
        in   unix(com);

func trad(x:SYM-seq):SYM-seq          /* port phrase to english */
returns <p2i(y) | y <- x >;

;---------------- test

x <- trad(<'eu,'sou,'um,'simpatico,'rapaz>);

;                                      x = < I  am  a  nice  boy >