Just whitespace.
Enhance benchmark tool: only pull targets if we don't have them.

This assumes that the target is actually on the stack, which may
not necessarily be true.
We don't have to write the index for Pin and Unpin.