Update bindings.rkt