/dev/stdin: empty