Extra high-level tests