added simple sbtl test