/dev/fd/12