No, I wrote it myself. I figured out how it worked from reading the C standard.