Added tests of top-level bindings