That's pretty smart, though. There's no way to truly prove that the stuff you're implementing actually works if there's no software that runs it. Synthetic examples don't actually prove the API you implement works in a useful way for arbitrary software in the wild, it just proves that the pieces you've tested behave how you think they should.