I've created some example code and scripts in the wiki, they could be in the repo and either useful documentation or tests for the testsuite. [https://github.com/googleprojectzero/halfempty/wiki/Examples](https://github.com/googleprojectzero/halfempty/wiki/Examples)