_
    Jersey Mike's debuts on NYSE after $1B IPO