Writing a high-level integration test