[+BUILTIN/] pipe_translate