And ffmpeg. And TinyC. And a bunch of other things. The dude is a legend.