Added one top-level test and added a simple low-level test