c - Linuxプログラミング、パイプへの標準出力がexecveの前に機能しない

Question

コード：

#include <stdio.h>
#include <unistd.h>
int main(int argc, char *argv[])
{
    printf("test output\n");
    execv("/bin/date", argv);
    return 0;
}  

次に、コンパイルして実行します。

test@test-laptop:~/test/$ ./a.out 
test output
Thu Jun 23 17:44:06 CST 2016

test@test-laptop:~/test/1$ ./a.out | tee
Thu Jun 23 17:44:09 CST 2016

パイプを使用すると「テスト出力」が表示されません。

ltrace と strace を使用してデバッグすると、次のようになりました。

$ strace ./a.out  | tee
mmap2(NULL, 4096, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0xb766e000
write(1, "Thu Jun 23 17:48:58 CST 2016\n", 29Thu Jun 23 17:48:58 CST 2016
) = 29
close(1)

$ ltrace ./a.out  | tee
__libc_start_main(0x8048414, 1, 0xbff5fd44, 0x8048470, 0x8048460 <unfinished ...>
puts("test output")                                                                                                                                = 12
execv("/bin/date", 0xbff5fd44 <unfinished ...>
--- Called exec() ---
......
fwrite("Thu", 3, 1, 0xe024e0)                                                                                                                     
strftime(" Jun", 1024, " %b", 0x00e056a0) 
.....

「テスト出力」に関しては、プログラムは「puts」を呼び出します。これは libc ライブラリ呼び出しですが、カーネルの「write」は呼び出されませんでした。なんで ？