Cat & Jack boys shorts with pockets, very dark gray with black stripe on sides

Cat & Jack brand boys shorts. Elastic waistband with working drawstring. Pockets in side seams. Soft and somewhat stretchy knit. Very dark gray with black stripe down each side. Washed once but never worn. EUC. Comes from a non smoking home. 🚭 Measurements (laid flat): Waist - unstretched 13” Inseam - 9.5”