genbindings.py