３０２さんどうもありがとうございました、たすかりました
３０４さん、できればはっていただけると助かります。

ところで３０２さんのソースを以下のように実行すると
bash-2.05b$ ./a.out
found
となるのですが、これはどういうことでしょうか？
bash-2.05b$ /usr/bin/time
Usage: /usr/bin/time [-apvV] [-f format] [-o file] [--append] [--verbose]
[--portability] [--format=format] [--output=file] [--version]
[--help] command [arg...]
の使いかたもよくわからないのですが