objdump -d /dev/stdin <a.out だと動いたけど
cat a.out | objdump -d /dev/stdin だとだめだ