Stretch denim short-shorts, studded sides

Stretch blue denim shirt-shorts, sporadically studded sides. Had these for maybe a decade and some studs have been lost, but the shorts themselves have so much life left! Unfortunately no tags so I don’t know the brand or size, but fits an American XS or XXS. Smoke-free, pet-friendly home. Measurements pictured, in inches. Bundle with other stuff for reduced shipping!