@docs Checkers.@test_exists