"It's actually a leather punch tool used to punch extra holes in belts. Apparently, they are often shipped alongside the belts so the buyer can size them themselves."