Implement piping vocabulary to stdin

Change-Id: I58c6da164cd079567e744e4c2c75fe07fa10db49