Describe [ ! kill -0 $SSH_AGENT_PID >? here.
No other page links to [ ! kill -0 $SSH_AGENT_PID > yet.