Would you wear these shorts with a pocket for Hot Pockets?