What a binding generator is written against: the model of a library, the interface the command finds a generator by, and how a binding is put in place. It depends on nothing of the compiler and on no library of its own, so a generator cannot reach a checked program and brings nothing along.