Note that genbindings.sh is really also a test script.