Imo 1st I'd notch it and try a flat head screwdriver if that dont work I'd try to drill it a little and try an easy out. Then weld a nut. Last resort cut the head off and try to get the remaining stud loose. I have removed alot of broken bolts from working on guns mostly small scope base screws. But an easy out will always do the trick when a simple slot and punch wont! But I'm sure a head bolt has alot more torque than a scope base screw.