Not to downplay his efforts, but back in the 8 and 16 bit home computer days, kids were coding Z80, 6052, 8080, 68000 Assembly aged 10 - 12 years old onwards.

Having been one of those kids, I kind of expect a high schooler to be able to have such skills, when deeply interested into a specific subject.