K 10
svn:author
V 6
jilles
K 8
svn:date
V 27
2013-03-31T17:42:54.080648Z
K 7
svn:log
V 58
Rename do_pipe() to kern_pipe2() and declare it properly.

END