They look like "Asian hot dogs" but I don't know if those ones get made with pretzel dough (they could be! Legit have no idea) XD I remember loving them growing up and my dad always got them whenever they were available for the kids whenever we were visiting and we occasionally get them from any of the shops here that have something similar if we want that reminder of my home.