tests with @test