Once the teacher understood what was going on, he quickly ran it up the chain and we wound up in a vice principal's office with an SRO and the boy's parents (SRO = School Resource Officer). I was a pretty bright kid in high school and the one time I wound up in a vice principal's office, it was pretty unpleasant. However, when the kid walked in I think he outdid me -- he instantly went #ffffff and almost fell over. To his credit, once he started breathing again he was honest and open about what he did. I tried to emphasize that he didn't act out of any bad motive, so I'm pretty sure the worst punishment he received was that office experience.
In retrospect, I'm glad I was there because (even as a college student) I had enough credibility to explain the situation. I did not keep up with the student, but I hope he went on to much career success.