check-examples -> test-examples