add top-level tests