[gambit-list] Guidelines to implement a backend?