3 ms·

Thanks, the latter two sound good. Pin seems to be a too generic acronym to Google it, what does it stand for?

• wmf 18y ago
  Ah, good point; it took me a few tries to find the site myself. Apparently Pin isn't an acronym; it's just Pin. http://www.pintool.org/ http://www.pintool.org/