high-level test extracted