./a.out & echo $! > /tmp/pidfile