working on bindings sml