/dev/stdin	DEFAULT_PIPE_SIZE	0
